Andrew D. Gordon An Operational Semantics for I/O in a Lazy Functional Language. 136-145 1993 FPCA db/conf/fpca/fpca93.html#Gordon93