Andrew Gordon.
Functional Programming and Input/Output.
PhD dissertation,
University of Cambridge, 1992.
Published in the series Distinguished Dissertations
in Computer Science, Cambridge University Press, 1994.