, 2009, 'Algebraic biology: creating invariant binding relations for biochemical and biological categories', Axiomathes 19 (3), 297-320.