Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!helios!cnh5730 From: cnh5730@calvin.tamu.edu (Charles Herrick) Newsgroups: comp.specification.z Subject: Re: Obj-Orien. Z, was: HERE'S A GOOD INTRO. TEXT Message-ID: Date: 28 Jun 91 14:53:16 GMT References: <2161@uqcspe.cs.uq.oz.au> <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu> <2193@uqcspe.cs.uq.oz.au> Sender: usenet@helios.TAMU.EDU Organization: Texas A&M University Lines: 11 In-reply-to: thomo@cs.uq.oz.au's message of 28 Jun 91 00:25:43 GMT In article <2193@uqcspe.cs.uq.oz.au> thomo@cs.uq.oz.au (John Thomas) writes: Perhaps you might be interested in Object-Z. The object-oriented version of Z developed here at the University of Queensland. Oh, please, tell us more, tell us more!!! (;-] seriously... -- "I am walking on the wire and the wire is what the whole thing is about." -- John Stewart