ACM Transactions on Programming Languages and Systems, ‎0164-0925

Journal