Re: Some questions about Larch

To: Noemie Slaats <ns@cage.rug.ac.be>
Subject: Re: Some questions about Larch
From: "Stephen J. Garland" <garland@larch.lcs.mit.edu>
Date: Fri, 20 Oct 95 10:25:08 -0400
Cc: garland@lcs.mit.edu, larch-interest@pa.dec.com
Delivery-Date: Fri, 20 Oct 95 07:40:21 -0700
In-Reply-To: Your message of "Fri, 20 Oct 95 12:14:34 -0000." <Pine.3.07.9510201234.A18364-9100000@cage.rug.ac.be>

     The best introduction to Larch, LSL, and LCL is in the book "Larch:
Languages and Tools for Formal Specification," by John Guttag and James
Horning, Springer-Verlag, 1993.

     You can also obtain information about Larch over the World Wide Web.  The
URL for the Larch home page is http://larch.lcs.mit.edu:8001/larch/index.html.
>From that home page you can find complete documentation for the Larch Prover,
and you can also find a pointer to a good overview of LCL in Yang Meng Tan's
PhD thesis.  There is no good description of LSL on the net yet---only in the
book.