Programming Languages - Rauber Du Bois, Andre; Trinder, Phil (Springer Berlin Heidelberg, 2013)