Norman L. Schryer. TM as an environment for producing numerical software. In Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software, October 1, 1978, USA. pages 49-52, ACM, 1978. [doi]
Abstract is missing.