James M. Boyle. Extending reliability (Extended Abstract>: Transformational tailoring of abstract mathematical software. In Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software, October 1, 1978, USA. pages 57-60, ACM, 1978. [doi]
Abstract is missing.