| title | ISBN-13 | year of publication | |
|---|---|---|---|
| Generic Programming. Advanced Lectures | 978-3-540-20194-6 | 2003 | |
| Program Construction and Verification | 978-0-13-729146-5 | 1986 | |
| Program construction and verification | 978-0-13-729153-3 | 1986 | |
| Syntax of Programming Languages: Theory and Practice | 978-0-13-879999-1 | 1979 |
C B · R. B · R. C. · Roland B. · Roland Backhouse · Roland-C