T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso. Logical Specification and Implementation. In Mathai Joseph, R. K. Shyamasundar, editors, Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings. Volume 181 of Lecture Notes in Computer Science, pages 13-30, Springer, 1984.