"Bounded Concurrent Time-Stamp Systems Are Constructible"

Danny Dolev, Nir Shavit (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics