Text this: Abstract interpretations & abstract machines :