Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!caen!spool.mu.edu!uunet!europa.asd.contel.com!noc.sura.net!haven.umd.edu!uvaarpa!software.org!blakemor
From: blakemor@software.org (Alex Blakemore)
Newsgroups: comp.specification.z
Subject: Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'...
Message-ID: <1991Jun28.160145.8626@software.org>
Date: 28 Jun 91 16:01:45 GMT
Article-I.D.: software.1991Jun28.160145.8626
References: <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu> <2193@uqcspe.cs.uq.oz.au>
Organization: Software Productivity Consortium, Herndon, Virginia
Lines: 10

In article <2193@uqcspe.cs.uq.oz.au> thomo@cs.uq.oz.au writes:
> 	Perhaps you might be interested in Object-Z. The object-oriented
> 	version of Z developed here at the University of Queensland. 

how about some references or an anonymous ftp site for papers
describing object-z.  sounds interesting.
-- 
---------------------------------------------------------------------
Alex Blakemore           blakemore@software.org        (703) 742-7125
Software Productivity Consortium  2214 Rock Hill Rd, Herndon VA 22070