Re: Larch ...

	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}"
	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

Jim H.