Dmitri Chkliaev Jozef Hooman Peter van der Stok Mechanical Verification of Transaction Processing Systems. 89- 2000 ICFEM http://computer.org/proceedings/icfem/0822/08220089abs.htm db/conf/icfem/icfem2000.html#ChkliaevHS00