Accurate Step Counting. - Catherine Hope; Graham Hutton (IFL, 2005)

Compact Fusion. - Catherine Hope; Graham Hutton (MSFP@MPC, 2006)

A functional semantics for space and time. - Catherine Hope (2008)