Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases. - Nicolien J. Drost; Jan van Leeuwen (Concurrency, 1988)

Algebraic Formulations of Trace Theory. - Nicolien J. Drost (CONCUR, 1991)