Concepts, Techniques, and Models of Computer Programming
A computation model is a formal system that defines how computations are done. There are many ways to define computation models.Since this book is intended to be practical, it is important that the computation model be directly useful to the programmer.We therefore define it in terms of concepts that are important to programmers: data types, operations, and a programming language. The term computation model makes precise the imprecise notion of "programming paradigm".