Software Specification Methods: An Overview Using a Case Study

http://www.ebooks.com/ebooks/book_display.asp?IID=261397

1. Z – J. Bowen;
2. SAZ – F. Polack;
3. B – H. Diab and M. Frappier;
4. From UML Diagrams to B Specifications – R. Laleau and A. Mammar;
5. UML+Z: Augmenting UML with Z – N. Amalio, F. Polack and S. Stepney;
6. ASM – E. Börger, A. Gargantini and E. Riccobene;
7. TLA+ – L. Lamport; Part 2 - Event-Based Approaches
8. Action Systems – J. Sinclair;
9. Event B – D.Cansell and D. Méry
etc.