Regulated RNA rewriting: Modelling RNA editing with guided insertion. - Franziska Biegler; Michael J. Burrell; Mark Daley (Theor. Comput. Sci., 2007)

A Useful Bounded Resource Functional Language. - Michael J. Burrell; James H. Andrews; Mark Daley (SOFSEM, 2008)

Pola: A Language for PTIME Programming. - Michael J. Burrell; J. Robin B. Cockett; Brian F. Redmond (FICS, 2009)