000 00523nam a2200193 4500
008 160616s1974 000 0
245 _aInternational symposium on theoretical programming
100 _aErshov, Andrei Ed
100 _aNepomniaschy, Valery A.
260 _aBerlin
260 _bSpringer-Verlag
260 _c1974
300 _a407
440 _aLecture notes in computer science ; 00005
020 _a3540067205
650 _aTheoretical Programming
942 _cBK
_2BK17240
080 _a681 LNCS
999 _c17240
_d17240