C.S. · Colin P. Stirling · Colin Sterling · Colin Sutherland
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Modal and Temporal Properties of Processes | 978-0-387-98717-0 (0-387-98717-7) | 2001 | |
| Proof, Language, and Interaction: Essays in Honour of Robin Milner | 978-0-262-16188-6 (0-262-16188-5) | 2000 | Gordon Plotkin · Mads Tofte |