A Paradigm For Program Semantics door Chris Brink & Ingrid Rewitzky