000 00285nam a2200109Ia 4500
008 211215s9999 xx 000 0 und d
040 _cJayakar Knowledge Resource Centre
100 _aBeth, E. W.
245 0 _aFormal Methods
260 _bD.Reidel Pub.Co.
_aDordrecht
_c1962
942 _c1
999 _c84248
_d84248