| Program construction and verification RC Backhouse Prentice-Hall, Inc., 1986 | 242 | 1986 |
| Generic programming R Backhouse, P Jansson, J Jeuring, L Meertens International School on Advanced Functional Programming, 28-115, 1998 | 231 | 1998 |
| Regular algebra applied to path-finding problems RC Backhouse, BA Carré IMA Journal of Applied Mathematics 15 (2), 161-186, 1975 | 207 | 1975 |
| Syntax of programming languages: theory and practice RC Backhouse Prentice-Hall, Inc., 1979 | 126 | 1979 |
| Do-it-yourself type theory R Backhouse, P Chisholm, G Malcolm, E Saaman Formal Aspects of Computing 1 (1), 19-84, 1989 | 124 | 1989 |
| Program Construction R Backhouse John Wiley and Sons, Inc, 2003 | 105 | 2003 |
| An exploration of the Bird-Meertens formalism RC Backhouse University of Groningen, Department of Mathematics and Computing Science, 1988 | 105 | 1988 |
| Galois connections and fixed point calculus R Backhouse Algebraic and coalgebraic methods in the mathematics of program construction …, 2002 | 96* | 2002 |
| Polynomial relators RC Backhouse, PJ de Bruin, PF Hoogendijk, G Malcolm, E Voermans, ... AMAST 91, 303-362, 1991 | 92 | 1991 |
| A relational theory of datatypes C Aarts, RC Backhouse, P Hoogendijk, E Voermans, J Van der Woude December, 1992 | 83 | 1992 |
| Elements of a relational theory of datatypes R Backhouse, P Hoogendijk Formal program development, 7-42, 1993 | 81 | 1993 |
| Demonic operators and monotype factors RC Backhouse, J Woude Mathematical Structures in Computer Science 3 (4), 417-433, 1993 | 80 | 1993 |
| Relational catamorphisms RC Backhouse, P De Bruin, G Malcolm, TS Voermans, J Van der Woude Proceedings of the IFIP TC2/WG2 1, 287-318, 1991 | 77 | 1991 |
| A calculational approach to mathematical induction H Doornbos, R Backhouse, J Van Der Woude Theoretical Computer Science 179 (1-2), 103-135, 1997 | 68 | 1997 |
| A relational theory of datatypes RC Backhouse, P Hoogendijk, E Voermans, J van der Woude Eindhoven University of Technology, Dept. of Mathematics and Computer Science, 1992 | 63 | 1992 |
| Safety of abstract interpretations for free, via logical relations and Galois connections K Backhouse, R Backhouse Science of Computer Programming 51 (1-2), 153-196, 2004 | 59 | 2004 |
| Calculating path algorithms RC Backhouse, J Van Den Eijnde, AJM Van Gasteren Science of Computer Programming 22 (1-2), 3-19, 1994 | 49 | 1994 |
| On the meaning and construction of the rules in Martin-Löf's theory of types R Backhouse University of Groningen, Department of Mathematics and Computing Science, 1986 | 49 | 1986 |
| Closure algorithms and the star-height problem of regular languages RC Backhouse Imperial College London, 1976 | 40 | 1976 |
| Categorical fixed point calculus R Backhouse, M Bijsterveld, R van Geldrop, J Van Der Woude International Conference on Category Theory and Computer Science, 159-179, 1995 | 38 | 1995 |
