Inheritance in object oriented Z (1991)

by E Cusack
Venue:In Proceedings of ECOOP '91