%0 Journal Article
%A I. L. Bratchikov
%A Kh. I. Toirikh
%T The formalization of certain context conditions for programming languages
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1974
%P 1004-1015
%V 14
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_1974_14_4_a15/
%G ru
%F ZVMMF_1974_14_4_a15