Abstract state machines for the classroom | lit.salon