Theoretical Introduction to Programming - Mills, Bruce; SpringerLink (Online service) (London : Springer-Verlag London Limited, 2006)
Keywords: Computer programming; Computer Science; Programming Techniques; Programming Languages, Compilers, Interpreters; Data Structures; Computation by Abstract Devices; Logics and Meanings of Programs; Symbolic and Algebraic Manipulation