John W. Baugh Jr.. Is Engineering Software Amenable to Formal Specification?. In Ursula Martin, Jeannette M. Wing, editors, First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992. Workshops in Computing, pages 1-17, Springer, 1992.
Abstract is missing.