An old-fashioned recipe for real time. (1994)

by Martın Abadi, Leslie Lamport
Venue:ACM Transactions on Programming Languages and Systems,