Kenneth P. Birman.
Building Secure and Reliable Network Applications.
Manning, Greenwich, Conneticut, 1996.
[Dij98]
Edsger W. Dijkstra.
Shmuel Safra's Version of Termination Detection (Note EWD998).
In Proofs and Calculations, Working Material for the
International Summer School on Calculational System Design, Marktoberdorf,
Germany, July 28-August 9, 1998. Advanced Study Institute.
[Lam94]
Leslie Lamport.
The Temporal Logic of Actions.
ACM Transactions on Programming Languages and Systems,
16(3):872-923, May 1994.