Theoretical Introduction to Programming - Mills, Bruce; SpringerLink (Online service) (London : Springer London, 2006)
Keywords: Computer science; Software engineering; Information theory; Logic design; Computer Science; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Theory of Computation; Software Engineering