Object-Z: An object ori- ented extension to Z (1989)

by D Carrington, D Duke, R Duke, P King, G Rose, P Smith
Venue:In FORTE89, International Conference on Formal Description Techniques