An Algebraic Approach to Refinement (1990)

by J Goguen
Venue:In Proceedings, VDM'90: VDM and Z -- Formal Methods in Software Development