Authors: Yuan Yu, Panagiotis Manolios, Leslie Lamport - Lecture notes in computer science 1999 cited by 269
