Correctness Proofs for Abstract Implementations

Gilles Bernot. Correctness Proofs for Abstract Implementations. In ADT. 1986.

Abstract

Abstract is missing.