Larch
by John Guttag, John V. Guttag, James J. Horning, S. J. Garland
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
Computer programmingComputer softwareDevelopmentLarch (Computer program language)formal specificationsoftware engineering