Conference paperTwo-sided finite-state transductions (abbreviated version)C.C. Elgot, J.E. MezeiSWCT 1963