Kimber · Springer Berlin Heidelberg
| 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: A History of HM Submarine Losses 1904-1971 | 978-1-84884-292-2 (1-84884-292-9) | 2010 | ||
| 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 · Arthur S. Evans · J. A. S. Evans · S. E. · S. Evans · Simon and Schuster Evans