P. N. Scharbach

Formal methods into practice: case studies in the application of the B method

A. Richard Newton, Kevin Lano, Brian Ritchie, 1997, IEE Proc. Softw. Eng..

Formal Methods: Theory and Practice

P. N. Scharbach, 1989 .

Engineering Real Software Using Formal Methods

Matthew K. O. Lee, P. N. Scharbach, I. H. Sørensen, 1991 .

From algorithms to architectures

P. N. Scharbach, R. J. Offen, 1986 .

The B-Method

Matthew K. O. Lee, Jean-Raymond Abrial, P. N. Scharbach, 1991, VDM Europe.