John H. Reppy: Concurrent ML. Encyclopedia of Parallel Computing 2011: 371-377