| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Introducing Specification Using Z: A Practical Case Study Approach | 978-O-O7-7O7965-9 (O-O7-7O7965-5) | 1994 |
B: Ritschel · B. Roetzel · B. Rothschild · Brenda Ratcliff · Bri Ratcliff · Brian Ratcliff · Jonathan E.B. Ratcliff