Concurrent programming in ML. - Reppy John H (1999)