Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!thomo
From: thomo@cs.uq.oz.au (John Thomas)
Newsgroups: comp.specification.z
Subject: Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'...
Message-ID: <2193@uqcspe.cs.uq.oz.au>
Date: 28 Jun 91 00:25:43 GMT
References: <2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra> <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu>
Sender: news@cs.uq.oz.au
Reply-To: thomo@cs.uq.oz.au
Lines: 23

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.

*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*

EMAIL: thomo@cs.uq.oz.au 			Ph: (07) 365 2726

SNAIL: John Thomas,         	               +------------------+
       c/o Computer Science Department,        |   And remember,  |
       University of Queensland,               | A HONKED nose is |
       Queensland, 4072 Australia. 	       |  a HAPPY nose !  |
                            	               +------------------+
*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*