Programming and Checking Data Types with REVE

Jean-Pierre Jouannaud. Programming and Checking Data Types with REVE. In ADT. 1983.

Abstract

Abstract is missing.