[1] Constructivity in Computer Science, The Association for Symbolic Logic, Summer Symposium, 1991 (informationswissenschaftl. Veröffentlichungen)

[2] Customer Information Control System (IBM).