For documentation on lclint, please see:
	
	http://larch-www.lcs.mit.edu:8001/larch/lclint/

Technical papers relating to LCLint include:

   David Evans. "Static Detection of Dynamic Memory Errors".
   SIGPLAN Conference on Programming Language Design and 
   Implementation (PLDI '96), Philadelphia, PA, May 1996.
      http://larch-www.lcs.mit.:8001/~evs/pldi96-abstract.html

   David Evans, John Guttag, Jim Horning and Yang Meng Tan. 
   "LCLint: A Tool for Using Specifications to Check Code".
   SIGSOFT Symposium on the Foundations of Software Engineering,
   December 1994.

A general book on Larch is:

   Guttag, John V., Horning, James J., (with Garland, S. J., Jones, 
   K. D., Modet, A., and Wing, J. M.), "Larch: Languages and Tools 
   for Formal Specification", Springer-Verlag, 1993.



