  In this note, we defend that the notion of algorithm as a set of execution
traces is somewhat independent of the notion of abstract state machine. It can
be reformulated in the more general framework of small step operational
semantics.
