000 00339nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a1850321736
082 _a621.3819535 F331
100 _aFENCOTT,C
245 0 _aFORMAL METHODS FOR CONCURRENCY
260 _aLONDON
_bInternational Thomson
_c1996
300 _a23X15
942 _cBK
_2DDC
999 _c26907
_d26907