Abstract interpretations & abstract machines by Ulf Nilsson | Lex | Lex