14. POPL 1987: Munich, Germany