A process semantics for BPMN PYH Wong, J Gibbons International Conference on Formal Engineering Methods, 355-374, 2008 | 203 | 2008 |

Fast and loose reasoning is morally correct NA Danielsson, J Hughes, P Jansson, J Gibbons ACM SIGPLAN Notices 41 (1), 206-217, 2006 | 106 | 2006 |

Datatype-generic programming J Gibbons Datatype-Generic Programming, 1-71, 2007 | 101 | 2007 |

The under-appreciated unfold J Gibbons, G Jones Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998 | 99 | 1998 |

The Third Homomorphism Theorem J Gibbons Journal of Functional Programming 6 (04), 657-665, 1996 | 95 | 1996 |

Just do it: Simple monadic equational reasoning J Gibbons, R Hinze ACM SIGPLAN Notices 46 (9), 2-14, 2011 | 91 | 2011 |

Formalisations and applications of BPMN PYH Wong, J Gibbons Science of Computer Programming 76 (8), 633-650, 2011 | 81 | 2011 |

A process-algebraic approach to workflow specification and refinement PYH Wong, J Gibbons International Conference on Software Composition, 51-65, 2007 | 80 | 2007 |

Proof methods for corecursive programs J Gibbons, G Hutton Fundamenta Informaticae 66 (4), 353-366, 2005 | 80* | 2005 |

Calculating functional programs J Gibbons Algebraic and coalgebraic methods in the mathematics of program construction …, 2002 | 78 | 2002 |

The essence of the Iterator pattern J Gibbons, BCS Oliveira Journal of Functional Programming 19 (3-4), 377-402, 2009 | 73 | 2009 |

A relative timed semantics for BPMN PYH Wong, J Gibbons Electronic Notes in Theoretical Computer Science 229 (2), 59-75, 2009 | 64 | 2009 |

Folding domain-specific languages: deep and shallow embeddings (functional Pearl) J Gibbons, N Wu Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 62 | 2014 |

Algebras for Tree Algorithms J Gibbons Programming Research Group, University of Oxford, 1991 | 60 | 1991 |

Formal derivation of a pattern matching algorithm RS Bird, J Gibbons, G Jones Science of Computer Programming 12 (2), 93-104, 1989 | 59 | 1989 |

The fun of programming J Gibbons, O de Moor | 55* | 2003 |

Efficient parallel algorithms for tree accumulations J Gibbons, W Cai, DB Skillicorn Science of Computer Programming 23 (1), 1-18, 1994 | 55 | 1994 |

Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers J Gibbons, W MacCaull Springer, 2014 | 53* | 2014 |

Design patterns as higher-order datatype-generic programs J Gibbons Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, 1-12, 2006 | 51 | 2006 |

Upwards and downwards accumulations on trees J Gibbons International Conference on Mathematics of Program Construction, 122-138, 1992 | 49 | 1992 |