William M. Waite. Book Review: Larch: Languages and Toole for Formal Specification by John V. Guttag and James J. Horning. Operating Systems Review, 27(4):7, 1993.
@article{Waite93, title = {Book Review: Larch: Languages and Toole for Formal Specification by John V. Guttag and James J. Horning}, author = {William M. Waite}, year = {1993}, tags = {reviewing}, researchr = {https://researchr.org/publication/Waite93}, cites = {0}, citedby = {0}, journal = {Operating Systems Review}, volume = {27}, number = {4}, pages = {7}, }