On the expressiveness of purely-functional I/O systems (1989)

by P HUDAK, R SUNDARESH