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