TOPLAS 8(4) Aug 1986

() ACM Transactions on Programming Languages and Systems (TOPLAS)