@article{10_4064_am_12_4_413_497,
     author = {Krystyna Jerzykiewicz},
     title = {Semantic analysis of an {ALGOL} text},
     journal = {Applicationes Mathematicae},
     pages = {413--497},
     publisher = {mathdoc},
     volume = {12},
     number = {4},
     year = {1971},
     doi = {10.4064/am-12-4-413-497},
     zbl = {0279.68023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/am-12-4-413-497/}
}