Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation - Knoop, Jens. (ACM,)