Theoretical Introduction to Programming

Intended primarily as a textbook for Computer Science graduates, this book includes both simple and advanced concepts of programming from a wide selection of common paradigms and languages, ranging through functional, object, machine-code, Prolog, Java, etc which are defined in a self contained manner, and illustrated by small non trivial examples that work.