Re: LSL handbook
To: "RNDr. Novitzky Vojtech CSc." <firstname.lastname@example.org>
Subject: Re: LSL handbook
Date: Mon, 11 Oct 93 11:44:07 -0700
Delivery-Date: Mon, 11 Oct 93 11:44:45 -0700
In-Reply-To: Message of Mon, 11 Oct 1993 09:56:13 +0000 (WET)
Dear Prof. Novitzky,
If what you want is hardcopy, there is an obvious source in
"Larch: Languages and Tools for Formal Specification"
John V. Guttag, et al.
Springer-Verlag Texts and Monographs in Computer Science, 1993
ISBN 3-540-94006-5 ISBN 0-387-94006-5
However, it will probably be quicker to FTP the file. The Larch archive is
at larch.lcs.mit.edu. I just checked and there doesn't seem to be a copy
of handbook.ps available for FTP right now. I've asked Prof. Steve Garland
of MIT <email@example.com> if he can make a copy available; I expect he
will contact you directly when he has done so.
PS I'll be interested in your success in teaching Larch in your course.