| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| An Introduction to the B Abstract Machine Notation | 978-0-07-709014-2 | 1995 | H. Haughton | |
| Object-Oriented Specification Case Studies | 978-0-13-097015-2 | 1969 | " | |
| Reverse Engineering and Software Maintenance: A Practical Approach | 978-0-07-707897-3 | 1993 | " | |
| The B Language and Method: A Guide to Practical Formal Development | 978-0-387-76033-9 | 1996 | ||
| The B Language and Method. A Guide to Practical Formal Development | 978-3-540-76033-7 | 1996 | ||
| UML 2 Semantics and Applications | 978-0-470-40908-4 | 2009 | ||
| Unlimited Desires: An International Anthology of Bisexual Erotica | 978-0-9538816-0-4 | 2000 | Kevin Land · Trish Oak · Lawrence Brewer | |
BiPress · McGraw-Hill · Prentice Hall · Springer · Wiley