Kamala Krithivasan. Treating Terminals as Function Values of Time. 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 188-201, Springer, 1984.