[comp.specification] Formal Specification

mariam@unocss.unomaha.edu (mariam) (08/10/90)

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.)