First-class synchronous operations in Standard ML (1989)

by J H Reppy