A parenthesis machine for string manipulation
Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 8 (1974) no. R3, pp. 37-46. 
@article{ITA_1974__8_3_37_0,
     author = {Dezani-Ciancaglini, Mariangiola},
     title = {A parenthesis machine for string manipulation},
     journal = {Revue fran\c{c}aise d'automatique informatique recherche op\'erationnelle. Informatique th\'eorique},
     pages = {37--46},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {8},
     number = {R3},
     year = {1974},
     zbl = {0341.68038},
     language = {en},
     url = {http://archive.numdam.org/item/ITA_1974__8_3_37_0/}
}
TY  - JOUR
AU  - Dezani-Ciancaglini, Mariangiola
TI  - A parenthesis machine for string manipulation
JO  - Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
PY  - 1974
SP  - 37
EP  - 46
VL  - 8
IS  - R3
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://archive.numdam.org/item/ITA_1974__8_3_37_0/
LA  - en
ID  - ITA_1974__8_3_37_0
ER  - 
%0 Journal Article
%A Dezani-Ciancaglini, Mariangiola
%T A parenthesis machine for string manipulation
%J Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
%D 1974
%P 37-46
%V 8
%N R3
%I Dunod-Gauthier-Villars
%C Paris
%U http://archive.numdam.org/item/ITA_1974__8_3_37_0/
%G en
%F ITA_1974__8_3_37_0
Dezani-Ciancaglini, Mariangiola. A parenthesis machine for string manipulation. Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 8 (1974) no. R3, pp. 37-46. http://archive.numdam.org/item/ITA_1974__8_3_37_0/

[1 ] C. Böhm, On a Family of Turing Machines and the Related Programming Languages, ICC Bulletin, 3, 3 (1964). | MR

[2] C. Böhm and M. Dezani, A CUCH-Machine : the Automatic Treatment of Sound Variables, Int. Journal of Computer and Information Sciences, 1, 2, (1972), pp. 171-186. | Zbl

[3] C. Böhm and M. Dezani, Notes on a CUCH-Machine: the Automatic treatment of Bound Variables, Int. Journal of Computer and Information Sciences, 2, 2 (1973), pp. 157-160. | Zbl

[4] A. Colmeraeur, Total Precedence Relations, Journal of the ACM, 17, 1, (1970), pp. 14-30. | MR | Zbl

[5] E. W. Dijkstra, An Attempt to Unify the Constituent Concepts of Serial Program Execution, in Symbolic Languages in Data Processing, ed. Gordon and Breach, Rome (1962), pp. 237-252. | MR | Zbl

[6] J. Mccarthy, Recursive Functions of Symbolic Expression and their Computation by machine : Part I, Comm. ACM, 3, 4, pp. 184-195. | Zbl

[7] P. Wegner, The Vienna Definition Language, ACM Computing Surveys, 4, 1 (1972), pp. 5-62. | MR | Zbl

[8] N. Wirth and H. Weber, Euler: a Generalization of ALGOL and its Formal Definitions : Part I and II, Comm. ACM, 9,1 (1966), pp. 13-25, 9, 2 (1966), pp. 89-99. | Zbl