I have found the reference: J. Gratus, T. Porter / Theoretical Computer Science 365 (2006) 206 – 215, in case that is useful to someone.