TOPLAS 2(4) October 1980

(1980)

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