Text this: Interactive Small-Step Algorithms I: Axiomatization