A algebraic approach to refinement (1990)

by J Goguen
Venue:Proceedings of VDM and Z: Formal Methods in Software Development, VDM’90. LNCS 428