[Prev][Next][Index]
Re: Request for ADT spec Info
-
To: pairoj@noguchi.riec.tohoku.ac.jp (termsinsuwan pairoj)
-
Subject: Re: Request for ADT spec Info
-
From: horning
-
Date: Wed, 05 Jan 94 17:37:55 -0800
-
Cc: horning
-
Delivery-Date: Wed, 05 Jan 94 17:37:58 -0800
-
In-Reply-To: Message of 5 Jan 94 12:12:41
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.