Leon J. Osterweil. Using tools for verification, documentation and testing. In Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software, October 1, 1978, USA. pages 63-67, ACM, 1978. [doi]
Abstract is missing.