000 00229nam a22001097a 4500
082 _a001.642WAR
100 _aWarnier
245 _aLogical construction of programs
260 _aH E
_bStenfer
_c1974
300 _a221
942 _cBK
999 _c12585
_d12585