Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!purdue!decwrl!shlump.nac.dec.com!mountn.dec.com!chest.dec.com!chambers
From: chambers@chest.dec.com
Newsgroups: news.groups
Subject: Re: call for discussion: comp.lang.specification
Message-ID: <994@mountn.dec.com>
Date: 24 Oct 89 17:45:38 GMT
Sender: news@mountn.dec.com
Organization: Digital Equipment Corporation
Lines: 7

In article <3614@midway.cs.glasgow.ac.uk>, jack@cs.glasgow.ac.uk (Jack Campin) writes...
> 
>What do people think of having a newsgroup to discuss specification and
>requirements languages - Z, Larch, OBJ, Lotos, VDM, metoo, CSP, CCS, Petri
>nets, RML, Forest, hardware description languages,... and related issues?

It will get my vote