%0 Journal Article %A Krystyna Jerzykiewicz %T Semantic analysis of an ALGOL text %J Applicationes Mathematicae %D 1971 %P 413-497 %V 12 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/am-12-4-413-497/ %R 10.4064/am-12-4-413-497 %G en %F 10_4064_am_12_4_413_497