Re: Request for ADT spec Info

You might be interested both in the specifications in the book

    Larch: Languages and Tools for Formal Specification
    John V. Guttag, et al.
    Springer-Verlag Texts and Monographs in Computer Science, 1993
    ISBN 0-387-94006-5, ISBN 3-540-94006-5

and in Appendix E, a Classified Bibliography, which gives references for a
number of other documents containing Larch specifications.

Appendix E is also available by anonymous FTP from node larch.lcs.mit.edu as
/pub/larch-bib/larch-bib.tex.  Contact: ymtan@lcs.mit.edu.

Jim H.