The syntax and semantics of →m⇋CRL / J.F. Groote, A. Ponse