Steve Sanders · Steve Saunders · Steve Sonderman
John Wiley & Sons · Palgrave Macmillan · Springer, Berlin
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Concurrent and Real Time Systems: The CSP Approach | 978-0-471-62373-1 | 1999 | ||
| Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers | 978-3-540-20693-4 | 2004 | Ali E. Abdallah · Peter Ryan | |
| That's All Folks: The Art of Warner Bros. Animation | 978-0-8050-0889-0 | 1988 | ||
| The B-method | 978-0-333-79284-1 | 2001 | ||
| ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings | 978-3-540-25559-8 | 2005 | Helen Treharne · Steve King · Martin Henson | |