Bert Didier

Bert Didier is the author of books such as B'98 - Recent Advances In the Development and Use Of the B Method.