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