Drawing Programs: The Theory and Practice of Schematic Functional Programming, by Tom Addis and Jan Addis Springer, 2010, ISBN 978-1-84882-617-5, 379pp

Abstract

Overall, this book contains a lot of valuable material, and due to the simplicity of the Event-B notation it should be a seriously considered for introductory courses on formal modelling with associated proof.As a basis for advanced study and research, it would be significantly better if it contained more conceptual clarity and methodological guidance on refinement, as well as a much more extensive index and bibliographic information.The case studies, however, still provide a rich source of example material for researchers.