Dr Ed de Quincey, Chris Briggs & James Mitchell School of Computing and Mathematics, Keele University https://showtime.gre.ac.uk/index.php/ecentre/apt2018/paper/viewPaper/1291