Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!sdd.hp.com!caen!news.cs.indiana.edu!ux1.cso.uiuc.edu!m.cs.uiuc.edu!vela!rdthomps
From: rdthomps@vela.acs.oakland.edu (Robert D. Thompson)
Newsgroups: comp.specification.z
Subject: Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'...
Message-ID: <7596@vela.acs.oakland.edu>
Date: 28 Jun 91 07:39:40 GMT
References: <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu> <2193@uqcspe.cs.uq.oz.au>
Organization: Oakland University, Rochester MI.
Lines: 30

In article <2193@uqcspe.cs.uq.oz.au> thomo@cs.uq.oz.au writes:
>In <7559@vela.acs.oakland.edu> rdthomps@vela.acs.oakland.edu (Robert D. Thompson) writes:
>
>>People,
>
>>	I was interested in Z a while back when I was writing a paper
>>	on Object Oriented Analysis and Design.
>[refs deleted]
>
>	Perhaps you might be interested in Object-Z. The object-oriented
>	version of Z developed here at the University of Queensland. 
>
>	Sure beats plain old Z.

John,

	How about some references for everybody in the group!

	I would love to get a thread going about Object-Z.

	I am anxious to get my hands on something.

	How about an ftp site, or something.

	Heck, e-mail me something!

	Thanks...Regards |(8>
---
Robert
rdthomps@vela.acs.oakland.edu