![book The B Language and Method: A Guide to Practical Formal Development](/covers/files_170/964000/2d8c753b037fdcb7d97a92be1c6a5845-d.jpg)
- Author: Kevin Lano BSc MSc PhD (auth.)
- Language: English
- Year: 1996
![book Formal Object-Oriented Development](/covers/files_170/964000/fcab88d1df526266d09bf7095fd31124-d.jpg)
- Author: Kevin Lano BSc MSc PhD (auth.)
- Language: English
- Year: 1995
![book On the Refinement Calculus](/covers/files_170/964000/8a9a7b01ad626808556b8c2d791b266e-d.jpg)
- Author: Carroll Morgan (auth.) Carroll Morgan BSc PhD Trevor Vickers BSc PhD (eds.)
- Language: English
- Year: 1994
![book Notations for Software Design](/covers/files_170/964000/ec55535f47f969097b1a496bc9b6d41a-d.jpg)
- Author: Loe M. G. Feijs Hans B. M. Jonkers Cornelis A. Middelburg (auth.)
- Language: English
- Year: 1994
![book Systems, Models and Measures](/covers/files_170/964000/95eb0f3ca281edf9af8ef3413003e16c-d.jpg)
- Author: Agnes Kaposi Margaret Myers (auth.)
- Language: English
- Year: 1994
![book Software Specification Methods: An Overview Using a Case Study](/covers/files_170/945000/9c875f60bbf550ce4c669d7213461cbe-d.jpg)
- Author: Jonathan P. Bowen (auth.) Marc Frappier Henri Habrias (eds.)
- Language: English
- Year: 2001
![book High-Integrity System Specification and Design](/covers/files_170/945000/1973501ee189fb60e5d4e105bbc19f6b-d.jpg)
- Author: Jonathan P. Bowen BA MA Michael G. Hinchey BSc MSc PhD (auth.)
- Language: English
- Year: 1999
![book Program Development by Refinement: Case Studies Using the B Method](/covers/files_170/945000/cd67dd5e1d9441dd1cbd4a6f274c94f6-d.jpg)
- Author: Ken A. Robinson (auth.) Emil Sekerinski Kaisa Sere (eds.)
- Language: English
- Year: 1999