Ўхшаш китоблар «Concepts and Semantics of Programming Languages 2», Therese Hardin