000 00425nam a2200169Ia 4500
008 180424s9999 xx 000 0 und d
084 _a510.78 B1
100 _a"Braffort, P"
245 0 _aComputer Programming and Formal System
250 _a\\197000ENGGPSX
260 _aNorth Holland Publishing
260 _b1970
260 _cLondon
300 _av+161p
500 _aincludes index and biblioraphy
942 _cBK
999 _c24954
_d24954