Donald Sannella, Andrzej Tarlecki. Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. Acta Informatica, 25(3):233-281, 1988.
No references recorded for this publication.
No citations of this publication recorded.