Recursive transducers and products – pre-submit version