David Lorge Parnas. Making Mathematical Methods More Practical for Software Developers (Invited Talk). In Teodor Rus, editor, Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Volume 1816 of Lecture Notes in Computer Science, pages 9-10, Springer, 2000. [doi]
Abstract is missing.