Re: Some questions about Larch

     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