Toward Formal Development of Programs from Algebraic Specifications (1988)

by D Sannella, A Tarlecki
Venue:Implementations Revisited, Acta Informatica