J. Howard Johnson. Lessons from INR in the Specification of Transductions. In Sheng Yu, Andrei Paun, editors, Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers. Volume 2088 of Lecture Notes in Computer Science, pages 335-336, Springer, 2000. [doi]
Abstract is missing.