John H. Reppy Concurrent ML: Design, Application and Semantics. 165-198 1993 conf/mcmaster/1993 Functional Programming, Concurrency, Simulation and Automated Reasoning db/conf/mcmaster/mcmaster1993.html#Reppy93