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