A Paradigm for Program Semantics - nidottu, Englanti, 2001