A Paradigm For Program Semantics by Chris Brink & Ingrid Rewitzky