Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - Van Deusen, Mary (Association for Computing Machinery, 1993)