Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. - Tsvetomir P. Petrov; Anna Pogosyants; Stephen J. Garland; Victor Luchangco; Nancy A. Lynch (FORTE, 1996)