[Prev][Next][Index]
Re: library of specifications
-
To: linl@CS.ColoState.EDU ( lijun lin)
-
Subject: Re: library of specifications
-
From: horning
-
Date: Wed, 04 Jan 95 13:19:53 -0800
-
Cc: horning
-
Delivery-Date: Wed, 04 Jan 95 13:20:04 -0800
-
In-Reply-To: Message of 4 Jan 1995 11:58:16 -0700
Lijun,
Try the Larch Home Page, URL http://larch-www.lcs.mit.edu:8001/larch/
and look at the entries for the Larch Shared Language Handbook.
For hardcopy, try
@book{GHGJMW93,
title = "Larch: Languages and Tools for Formal Specification",
author = "John V. Guttag and James J. Horning,
with S.J. Garland, K.D. Jones, A. Modet,
and J. M. Wing",
year = 1993,
publisher = "Springer-Verlag",
series = "Texts and Monographs in Computer Science",
note = "{ISBN 0-387-94006-5/ISBN 3-540-94006-5}"
}
Jim H.