Slow abstraction through priority - Roscoe, A; Hopcroft, P (2013)