Association for Computing Machinery
Association for Computing Machinery Transactions on Programming Languages and Systems