books.google.co.uk - Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first...http://books.google.co.uk/books/about/Computable_models.html?id=EIgcIWP-SH0C&utm_source=gb-gplus-shareComputable models
