Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation - Cartwright, Robert (Association for Computing Machinery, 1993)