Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!uunet!mcsun!hp4nl!tuegate.tue.nl!rc6.urc.tue.nl!rw6.urc.tue.nl!wsinrobg
From: wsinrobg@rw6.urc.tue.nl (Rob Gerth)
Newsgroups: comp.theory
Subject: Re: Unity references (long ~300 lines)
Message-ID: <575@rc6.urc.tue.nl>
Date: 25 Apr 91 11:48:39 GMT
References: <7420@harrier.ukc.ac.uk>
Sender: news@rc6.urc.tue.nl
Reply-To: wsinrobg@urc.tue.nl
Organization: Eindhoven University of Technology, The Netherlands
Lines: 40

In article <7420@harrier.ukc.ac.uk> wgd@ukc.ac.uk (W.G.Day) writes:
>Here is the list of Unity references that I received.  Sorry that
>this is so late.  Thank you very much to those who replied.  Here
>are all of the published references.  I have formated them all out
>in the same (hopefully) neat style.
>
		< stuff deleted >
The following refs are not correct

@inproceedings{,
 author =	"R. Gerth and A. Pnueli",
 title =	"The Roots of {UNITY}",
 booktitle =	"Proceedings Fifth International Workshop
		 on Software Specification and Design",
 month =	may,
 year =	1989,
 address =	"Pittsburgh, Penn."
}

@article{,
 author =	"R. Gerth and A. Pnueli",
 title =	"{Rooting {\sf UNITY}}",
 journal =	"ACM Software Engineering Notes",
 month =	apr,
 number =	4,
 volume =	14,
 year =	1989,
 comment =	"Z832 TK liefern formale Semantik fuer UNITY"
}

The title entry of the first one shoud read

   title =	"{Rooting {\sf UNITY}}",

The second ref does not exist (well, I didnt actually check but I cut back on
the boozing and am reasonably sure that we didnt submit it ;-)).
-- 
# internet:     robg@win.tue.nl         | Rob Gerth, Dept. of C.S.            #
# EUT:		HG 8.85			| Eindhoven University of Technology  #
# voice:	31+(0)40-474389/4124	| 5600 MB Eindhoven, The Netherlands  #