Humboldt-Universität Berlin, Sektion Mathematik, Seminarbericht Nr. 7, January 1978.
Also in: Winkowski, J.: Lecture Notes in Computer Science, Vol. 64: Mathematical Foundations of Computer Science 1978, pages 506-515. Berlin, Heidelberg, New York: Springer-Verlag, 1978.