000 00241nam a2200109 4500
008 160616s 000 0
245 _aFormal methods
100 _aBeth, Evert W
500 _aB31 K28
942 _cBK
_2BK4587
080 _a510.6 BETH
999 _c4587
_d4587