Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation - Berman