Object-oriented specification in LOTOS and Z, or my cat really is object- oriented (1991)

by E Cusack, M Lai
Venue:Foundations of Object Oriented Languages