Operational semantics of term rewriting with priorities by J.C.v.d. Pol