000 00288pam a2200121a 44500
082 _a160
_bST9 V.28
100 _aBraffort, P.
245 1 _aCOMPUTER PROGRAMMING AND FORMAL SYSTEMS
260 _a
_bNorth-Holland
_c1963
700 _aHirschberg, D.
964 _gCIRC
997 _a51024 C
999 _c411637
_d411637