Eekelen. Reasoning about deterministic concurrent functional I/O (2004)

by M Dowse, A Butterfield, M C J D van
Venue:In Proceedings of the 16th International Workshop on the Implementation and Application of Functional Languages