An overview of the B programming language or B without tears

• 1 December 1982
• journal article
• Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
• Vol. 17  (12) , 49-58
• https://doi.org/10.1145/988164.988169

Abstract