Software engineering with B

by J. B. Wordsworth

Specifying, designing and implementing software with the B formal method.