000 00282pam a2200121a 44500
082 _a160
_bST9
100 _aBraffort, P
245 1 _aCOMPUTER PROGRAMMING AND FORMAL SYSTEMS
260 _a
_bNorth-Holland
_c1963
700 _aHirschberg, D.
964 _gCIRC
997 _a16722 C
999 _c413164
_d413164