1. International Workshop on Larch 1992: Dedham, Massachusetts, USA

Ursula Martin, Jeannette M. Wing (Eds.): First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992. Workshops in Computing Springer 1993, ISBN 3-540-19804-0

@proceedings{DBLP:conf/larch/1992,
  editor    = {Ursula Martin and
               Jeannette M. Wing},
  title     = {First International Workshop on Larch, Proceedings of the first
               First International Workshop on Larch, Dedham, Massachusetts,
               USA, 13-15 July 1992},
  booktitle = {Larch},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19804-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

John W. Baugh Jr.: Is Engineering Software Amenable to Formal Specification? 1-17
Michel Bidoit, Rolf Hennicker: How to Prove Observational Theorems with LP. 18-35
Karl-Heinz Buth: Using SOS Definitions in Term Rewriting Proofs. 36-54
Boutheina Chetali, Pierre Lescanne: An Exercise in LP: The Proof of a Non Restoring Division Circuit. 55-68
Christine Choppy, Michel Bidoit: Integrating ASSPEGIQUE and LP. 69-85
Urban Engberg, Peter Grønning, Leslie Lamport: Mechanical Verification of Concurrent Systems with TLA. 86-97
Gary Feldman, Joseph Wild: The DECspec Project: Tools for Larch/C. 98-103
David Guaspari, Carla Marceau, Wolfgang Polak: Formal Verification of Ada Programs. 104-141
Kevin D. Jones: A Semantics for a Larch/Modula-3 Interface Language. 142-158
Gary T. Leavens, Yoonsik Cheon: Preliminary Design of Larch/C++. 159-184
Niels Mellergaard, Jørgen Staunstrup: Generating Proof Obligations for Circuits. 185-200
James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland: Using Transformations and Verification in Circuit Design. 201-226
E. A. Scott, K. J. Norrie: Using LP to Study the Language PL⁺₀. 227-245
Yang Meng Tan: Semantic analysis of Larch Interface Specifications. 246-261
Mark T. Vandevoorde: Optimizing Programs with Partial Specifications. 262-281
Frédéric Voisin: A New Front-End for the Larch Prover. 282-296
Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski: Thoughts on a Larch/ML and a New Application for LP. 297-312