A history model for classes in object-Z (1990)

by D Duke, R Duke
Venue:In Proceedings of VDM '90: VDM and Z