Object-Z: An Object-Oriented Extension to Z.

David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith

Browse the full FORTE paper archive.