Mechanical verification of concurrency control and recovery protocols - CHKLIAEV, DMITRI ALEKSANDROVICH (Technische Universiteit Eindhoven, 2001)