| title | media type | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|---|
| The B-Book: Assigning Programs to Meanings | Paperback | 978-0-521-02175-3 (0-521-02175-8) | 2005 |
| The B-Book: Assigning Programs to Meanings | Hardcover | 978-0-521-49619-3 (0-521-49619-5) | 1996 |
Abrial J. R. · J. A. · J R · Jean-Raymond Abrial · R. A.