An operational semantics of first-class synchronous operations (1991)

by J H Reppy