Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited.

Donald Sannella Andrzej Tarlecki Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. 233-281 1988 25 Acta Inf. 3 db/journals/acta/acta25.html#SannellaT88