Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!gem.mps.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!hplabs!hplabsz!sartin
From: sartin@hplabsz.HPL.HP.COM (Rob Sartin)
Newsgroups: news.groups
Subject: Re: call for discussion: comp.lang.specification
Message-ID: <4206@hplabsz.HPL.HP.COM>
Date: 24 Oct 89 19:29:40 GMT
References: <3614@midway.cs.glasgow.ac.uk> <257@utrcu1.UUCP>
Reply-To: sartin@hplabs.hp.com (Rob Sartin)
Organization: Hewlett-Packard, Software Technology Lab
Lines: 9

I'm in favor of the concept of having discussions on specification
language (and other formal and informal aspects of software
engineering).  I think that it would be best to have them in
comp.software-eng for now.  I never would have thought to look in
sci.logic for dicussions about this.

Rob Sartin			internet: sartin@hplabs.hp.com
Software Technology Lab 	uucp    : hplabs!sartin
Hewlett-Packard			voice	: (415) 857-7592