Path: utzoo!utgpu!utstat!jarvis.csri.toronto.edu!mailrus!wuarchive!cs.utexas.edu!uunet!munnari.oz.au!basser!johnz
From: johnz@basser.oz (John Zic)
Newsgroups: news.groups
Subject: Re: call for discussion: comp.lang.specification
Summary: Aye vote
Message-ID: <2689@basser.oz>
Date: 31 Oct 89 09:29:20 GMT
References: <3614@midway.cs.glasgow.ac.uk>
Organization: Dept of Comp Sci, Uni of Sydney, Australia
Lines: 20

I vote "yes" to setting up a newsgroup for the discussion of
specification "languages". 

May I also suggest that a mailing list be established if there are
insufficent numbers of people interested in the topic?

Regards
	John Zic	johnz@jandj.oz.au || johnz@cs.su.oz.au

				Correctness proofs are hard.
				Reality proofs are harder.






-- 
	John Zic			|	Correctness proofs are hard.
ACSnet:	johnz@cs.su.oz.au		|	Reality proofs are harder.