000 00297nam a2200121Ia 4500
100 _aNeuhold, E.J. ed. & Chroust, G.
020 _a0-444-87888-2
942 _cBK
245 _aFormal models in programming
260 _aIfip, North-holland
_c1985
082 _a001.6424 Neu/Chr
300 _apxix,425
999 _c15575
_d15575