| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Refinement Calculus: A Systematic Introduction | 978-0-387-98417-9 (0-387-98417-8) | 1998 | Joakim Wright | |
| Transactions on Computational Systems Biology XI: Computational Models for Cell Processes | 978-3-642-04185-3 (3-642-04185-X) | 2009 | Corrado Priami · Ion Petre | |
| Transactions on Computational Systems Biology XIII | 978-3-642-19747-5 (3-642-19747-7) | 2011 | Corrado Priami · Ion Petre · Erik de Vink |