🚀 go-pugleaf

I am in the early stages of a literature survey on the topic of formal 
specification of (software) systems. I'm looking for any suggestions, leads
or pointers to survey papers or taxonomies published in the area.

I'm also interested in any tutorials, texts, papers, etc. on particular 
specification "languages" including, but not limited to: SDL, Z, PSL/PSA,
SADT, RSL, Anna, IORL, Gypsy, OBJ, and Estelle.

Any commentary w.r.t any of the above (or any other specification language or
specification system) is welcome. Especially interesting topics inlucde: 
availability/lack of software tools to support users, ease-of-use, 
applicability (what kinds of systems can be described by the particular 
language), "public-domainness", good or bad experiences (using a particular 
language for particular type of development effort), applicability to 
demonstrating proof-of-correctness of an implementation, and any other 
relevant info.

If you think the information is already common knowledge in this group,
then I'd appreciate an e-mail response. Otherwise, if you think it is of
general interest, then by all means please post. If there is any interest, 
I'll post a summary of the results.

Thanx much!!

--jon

P.S. Please note the e-mail addresses below.

jon@trc.tellabs.com
jon@ndsun.ee.nd.edu