Brian L. Meek The Static Semantics File. 33-42 1990 25 SIGPLAN Notices 4 db/journals/sigplan/sigplan25.html#Meek90