000			00387nam a2200157 a 4500
005			20220518154332.0
008			960221s1955 dcuabcdjdbkoqu001 0deng d
020			_a0201142260
041			_aeng
082			_a004.43 TUR
100			_aTurski,Wladyslaw.M. _91856
245			_aThe specification of computer programs
260			_aNewyork _bAddison-Wesley
300			_ax,278
942			_cBK
999			_c240522 _d240522