Formal methods in the IS domain : introducing a notation for presenting object-Z specifications - Fowler, Danielle C. (Working paper (Swinburne University of Technology. Centre for Information Systems Research) ;, 1994)