A Paradigm for Program Semantics - häftad, Engelska, 2001