Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca: Listing of information structures defined by fixed-point operators. Symposium on Programming 1974: 266-279