000 00364nam a2200157Ia 4500
008 190201s9999 xx 000 0 und d
020 _a094653618X
082 _a1
082 _b535 DE
100 _a"Delahaye, Jean Paul"
245 0 _aFormal Methods In Artifi
260 _aLondon
260 _bNorth Oxford Academic
260 _c1987
300 _a"vii, 205"
999 _c28018
_d28018