David J. Duke: Object-oriented formal specification / by David John Duke. University of Queensland, Australia 1992