ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 1

Volume 1, Number 1, July 1979

Volume 1, Number 2, October 1979