- POPL. 1983.
- Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. 1983.
- John R. Wright, Larry Landweber, Alan J. Demers, Tim Teitelbaum, editors, Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983. ACM Press, 1983.