Dennis, Louise Abigail, Bundy, Alan, Green, Ian, "Using a Generalisation Critic to find Bisimulations for Coinductive Proofs", , 1999