Concurrent programming in ML - Reppy, John H. (Verfasser) (Cambridge University Press, 1999)