[Prev][Next][Index]
Re: Larch ...
-
To: Zhonghua Yang <yang@dstc.edu.au>
-
Subject: Re: Larch ...
-
From: horning
-
Date: Mon, 29 Aug 94 10:22:07 -0700
-
Cc: horning
-
Delivery-Date: Mon, 29 Aug 94 10:22:40 -0700
-
In-Reply-To: Message of Mon, 29 Aug 94 16:29:19 EST
@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}"
}
@book{MW92,
title = "First International Workshop on Larch, Dedham 1992",
author = "Ursula Martin and Jeannette M. Wing (Eds.)",
year = 1993,
publisher = "Springer-Verlag",
series = "Workshops in Computing",
note = "{ISBN 3-540-19804-0/ISBN 0-387-19804-0}"
}
To join the larch-interest@src.dec.com mailing list, send a message to
larch-interest-request@src.dec.com.
Jim H.