00343nam a2200145Ia 450000100060000000800410000602000180004704000130006508200180007810000180009624500560011426000090017030000110017954600070019014095140402s9999    xx            000 0 und d  a0-471-94006-2  cPK-LaUMT  a 005.1bHAR-F  aHarry, Andrew  aFormal methods fact file : VDM and ZcHarry, Andrew  c1996  a386 p.  aEN