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

ACM Transactions on Programming Languages and Systems
vol. 4, no. 3, 1982

TOPLAS

Journal