| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| BCS-FACS Northern Formal Methods Workshop. Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996 | 978-3-540-76117-4 (3-540-76117-9) | 1997 | C. J. Van Rijsbergen · D. J. Duke | |
| Beneath the Waves: History of H.M.Submarine Losses, 1904-71 | 978-0-7183-0601-4 (0-7183-0601-5) | 1986 | ||
A. Evans · A. S. · Alfred S. Evans · Allan S. Evans · Allan Stewart Evans · Anne Sugarman Evans · J. A. S. Evans · S. E. · S. Evans · Simon and Schuster Evans