1;3409;0c ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems
vol. 6, no. 2, 1984

TOPLAS

Journal