Theories of Programming and Formal Methods - Liu (Springer Berlin Heidelberg, 2013)
Off-Campus Access: Athens ID and Password Required