A Larch shared language handbook

Writing Larch interface language specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)

Formal models of stepwise refinements of programs

ACM Computing Surveys (CSUR)

Synchronization primitives for a multiprocessor: a formal specification

SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles

AUTO STAR—a software development system

ACM SIGPLAN Notices

Reasoning about object-oriented programs that use subtypes

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications

Debugging Larch Shared Language Specifications

IEEE Transactions on Software Engineering

Using formal methods for teaching software engineering: a tool-based approach

Annals of Software Engineering - Special issue on software engineering education

Modular Specification and Verification of Object-Oriented Programs

IEEE Software