High Level Speci of I/O in Functional Languages (1992)

by P M Achten, J H G van Groningen, M J Plasmeijer
Venue:Proceedings Glasgow Workshop on Functional Programming