J. V. Tucker, S. S. Wainer, Jeffery I. Zucker. Provable Computable Functions on Abstract Data Types. In Mike Paterson, editor, Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, July 16-20, 1990, Proceedings. Volume 443 of Lecture Notes in Computer Science, pages 660-673, Springer, 1990.
Abstract is missing.