Bibliografia
Principal
- Modeling in Event-B - System and Software Engineering: Jean-Raymond Abrial 2010 Cambridge University Press - ISBN 978-0-521-89556-9
- Software Abstractions, Logic, Language, and Analysis: Daniel Jackson 2011 MIT Press
- The Calculus of Computation: Decision Procedures with Applications to Verification: Aaron R. Bradley and Zohar Manna 2007 Springer