Author: ACM Symposium on Principles of Programming Languages (14th 1987 Munich, Germany)