Kenneth P. Birman.
Building Secure and Reliable Network Applications.
Manning, Greenwich, Conneticut, 1996.
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.
The Temporal Logic of Actions.
ACM Transactions on Programming Languages and Systems,
16(3):872-923, May 1994.