| title | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Builth Wells: Photographs of Old | | 978-0-9515114-3-5 | 2009 | Malcolm Morrison · Robert Warlow · Dennis Jones |
| FM '99, Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 1 | | 978-3-540-66587-8 | 1999 | Jeannette M. Wing · Jim Woodcook |
| FM '99, Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 2 | | 978-3-540-66588-5 | 1999 | Jeannette M. Wing · Jim Woodcook |
| Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings | | 978-3-540-23841-6 | 2004 | Wolfram Schulte · Mike Barnett |
| GNU Scientific Library Reference Manual | | 978-0-9541617-3-6 | 2006 | Mark Galassi · James Theiler |
| The Book of Guinness Advertising | | 978-0-85112-067-6 | 1998 |
| Using Z: Specification, Refinement, and Proof | | 978-0-13-948472-8 | 1996 | Jim Woodcock |