TOPLAS 19(3) May 1997

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