"An Operational Semantics for I/O in a Lazy Functional Language."

Andrew D. Gordon (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics