Theoretical programming : proceedings - Ershov Andrei; International Symposium on Theoretical programming( 1974 ); International Symposium on Theoretical programming , 1974 (Berlin Springer Verlag, 1974)
Keywords: Computer programming; Theoretical programming