Aarhus Univ., DAIMI PB 180, October 1984.
Also in: Joseph, M.; Shyamasundar, R.: Lecture Notes in Computer Science, Vol. 181: Proceedings of the Fourth Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India, December 1984, pages 89-117. Berlin: Springer-Verlag, 1984.