Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!gem.mps.ohio-state.edu!usc!cs.utexas.edu!uunet!mcsun!ukc!axion!fmg!elc
From: elc@fmg.bt.co.uk (Elspeth Cusack)
Newsgroups: news.groups
Subject: formal specification
Keywords: new group
Message-ID: <754@darkstar.fmg.bt.co.uk>
Date: 26 Oct 89 21:27:17 GMT
Organization: Formal Methods Group,British Telecom.,UK
Lines: 11


I would support the idea of a newsgroup on formal
specification languages tho' I think the views of
those running mailing lists (Z, LOTOS, ??) should 
be canvassed. This subject appears completely
uncatered for at the moment.

I can't get excited about the choice of title -
comp.specification would seem as good as any. 

Elspeth Cusack