| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Adapting Proofs-as-Programs: The Curry--Howard Protocol | 978-0-387-23759-6 (0-387-23759-3) | 2005 | John N. Crossley · Martin Wirsing | |
| Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings | 978-3-642-02413-9 (3-642-02413-0) | 2009 | Grace A. Lewis · Christine Hofmeister |