Path: utzoo!attcan!uunet!zephyr.ens.tek.com!tektronix!sequent!upba!dsndata!unocss!mariam
From: mariam@unocss.unomaha.edu (mariam)
Newsgroups: comp.specification
Subject: Re: Formal Specification (more...)
Message-ID: <3055@unocss.unomaha.edu>
Date: 9 Aug 90 23:39:49 GMT
Reply-To: mariam@unocss.UUCP (Mariam)
Organization: Univ. of Nebraska at Omaha - Computer Science
Lines: 7


I just noticed that two of the documents I cited
in my previous posting, namely the SEI-CM-8-1.0 and
SEI-CM-11-2.1, together contain more than 30-35 pages
of annotated references to related work in the area
of formal specifications. (The annotation of some 
references contains the actual abstract of the article.)