Program construction and verification RC Backhouse Prentice-Hall, Inc., 1986 | 274 | 1986 |

Generic programming R Backhouse, P Jansson, J Jeuring, L Meertens Advanced Functional Programming: Third International School, AFP’98, Braga …, 1999 | 241 | 1999 |

Regular algebra applied to path-finding problems RC Backhouse, BA Carré IMA Journal of Applied Mathematics 15 (2), 161-186, 1975 | 235 | 1975 |

Elements of a relational theory of datatypes R Backhouse, P Hoogendijk Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report, 7-42, 1993 | 161 | 1993 |

Syntax of programming languages: theory and practice RC Backhouse Prentice-Hall, Inc., 1979 | 156 | 1979 |

Do-it-yourself type theory R Backhouse, P Chisholm, G Malcolm, E Saaman Formal Aspects of Computing 1, 19-84, 1989 | 134 | 1989 |

An exploration of the Bird-Meertens formalism RC Backhouse University of Groningen, Department of Mathematics and Computing Science, 1988 | 117 | 1988 |

Program Construction R Backhouse John Wiley and Sons, Inc, 2003 | 113 | 2003 |

Galois connections and fixed point calculus R Backhouse Algebraic and Coalgebraic Methods in the Mathematics of Program Construction …, 2002 | 111* | 2002 |

Polynomial relators RC Backhouse, PJ de Bruin, PF Hoogendijk Technische Universiteit Eindhoven, 1991 | 99 | 1991 |

Demonic operators and monotype factors R Backhouse, J van der Woude Mathematical Structures in Computer Science 3 (4), 417-433, 1993 | 89 | 1993 |

A relational theory of datatypes CJ Aarts, RC Backhouse, PF Hoogendijk, TS Voermans, J van der Woude Technische Universiteit Eindhoven, 1992 | 85 | 1992 |

Relational catamorphisms RC Backhouse, PJ de Bruin, GR Malcolm, TS Voermans, ... Technische Universiteit Eindhoven, 1991 | 80 | 1991 |

A calculational approach to mathematical induction H Doornbos, R Backhouse, J Van Der Woude Theoretical Computer Science 179 (1-2), 103-135, 1997 | 77 | 1997 |

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 | 61 | 2004 |

Calculating path algorithms RC Backhouse, J Van Den Eijnde, AJM Van Gasteren Science of Computer Programming 22 (1-2), 3-19, 1994 | 53 | 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 | 51 | 1986 |

Closure algorithms and the star-height problem of regular languages RC Backhouse Imperial College London, 1976 | 50 | 1976 |

Categorical fixed point calculus R Backhouse, M Bijsterveld, R van Geldrop, J van der Woude Category Theory and Computer Science: 6th International Conference, CTCS'95 …, 1995 | 42 | 1995 |

Algorithmic problem solving R Backhouse John Wiley & Sons, 2011 | 41 | 2011 |