Synchronising the I/O behaviour of functional programs with feedback (1987)

by A Dwelly
Venue:Information Processing Letters 28 (1988) 45 - 51