TOPLAS 15(3) July 1993

(1993)

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