| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings | 978-3-540-56625-0 (3-540-56625-2) | 2008 | James C.P. Woodcock · C.Carroll Morgan | |
| Mathematics of Program Construction: Second International Conference, Oxford, U.K., June-July 1992: Proceedings | 978-0-387-56625-2 (0-387-56625-2) | 1993 | C. C. Morgan |
R. B · R. Bird · R. S. · Richard B. · Richard Bird · Richard S. · S. B · S. Bird