Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca. Listing of information structures defined by fixed-point operators. In Bernard Robinet, editor, Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974. Volume 19 of Lecture Notes in Computer Science, pages 266-279, Springer, 1974.
Abstract is missing.