ACM Transactions on Programming Languages and Systems 7(3) July 1985

(1985)