Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - Hankin, Chris (Association for Computing Machinery, 2001)