A parenthesis machine for string manipulation Mariangiola Dezani-Ciancaglini R.A.I.R.O. Informatique théorique, 8 R3 (1974) 37-46 Published online: 01 February 2017 DOI: 10.1051/ita/197408R300371
