Principles of programming languages - Dowek, Gilles; SpringerLink (Online service) (London : Springer-Verlag London, 2009)
Keywords: Programming languages (Electronic computers); Software Engineering; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques