CMU Larch Work
Assorted work related to the Larch family of specification is
available via anonymous FTP from ftp.cs.cmu.edu in the directory
/afs/cs/project/larch/ftp
(here).
For more Larch-related information, see the DEC
SRC Larch page.
Jeannette. Wing@cs.cmu.edu (last updated 4-June-94)