Text this: Formal semantics of Programming languages. Edited by Randall Rustin.