Arthur G. Duncan, Lawrence Yelowitz. Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness. In Hermann A. Maurer, editor, Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings. Volume 71 of Lecture Notes in Computer Science, pages 218-229, Springer, 1979.
Abstract is missing.