Valentin F. Turchin. The Use of Metasystem Transition in Theorem Proving and Program Optimization. In J. W. de Bakker, Jan van Leeuwen, editors, Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings. Volume 85 of Lecture Notes in Computer Science, pages 645-657, Springer, 1980.
Abstract is missing.