An old-fashioned recipe for real time (1992)

by Mart n Abadi, Leslie Lamport