Title: Larch
Description: Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
Subjects: Computer programming, Computer software, Development, Larch (Computer program language), formal specification, software engineering