| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Abstraction, Refinement and Proof for Probabilistic Systems | 978-0-387-40115-7 (0-387-40115-6) | 2004 | Annabelle McIver | |
| Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings | 978-3-642-03465-7 (3-642-03465-9) | 2010 | Martin Leucker |
C C · C. C. Morgan · C. Carroll · C.Carroll Morgan · C.M. · C. Morgan · Carroll Morgan · Charles C. · Charles Carroll · Charles Carroll Morgan Martin Leucker · Charles M. · Charles Morgan