1. Reversible pushdown transducers;Guillon,2018
2. Logical reversibility of computation;Bennett;IBM J. Res. Dev.,1973
3. Logique mathématique: machines de Turing réversible;Lecerf;C. R. Séances Acad. Sci.,1963
4. Inference of reversible languages;Angluin;J. ACM,1982
5. On the power of quantum finite state automata;Kondacs,1997