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

Volume 4, Number 1, January 1982

Volume 4, Number 2, April 1982

Volume 4, Number 3, July 1982

Volume 4, Number 4, October 1982