Slow abstraction through priority (Festschrift for He Jifeng‚ to appear in LNCS, 2013)

(untitled) - Roscoe, A; Hopcroft, P