000 00300pam a2200121a 44500
008 160408b1962 xxu||||| |||| 00| 0 eng d
082 _a164
_bB465F
100 _aBeth, Evert W.
245 1 _aFORMAL METHODS
260 _a
_bD. Reidel Publishing Company
_c1962
964 _gCIRC
997 _aA10192 C
999 _c244141
_d244141