1. Abrial, J.-R.: The Event-B Book. Cambridge University Press, Cambridge (2010)
2. Allen, C.D., Chapman, D.N., Jones, C.B.: A formal definition of ALGOL 60. Technical report 12.105, IBM Laboratory Hursley, August 1972
3. Aczel, P.: A note on program verification. Manuscript (private communication), Manchester, January 1982
4. Aczel, P.H.G.: On an inference rule for parallel composition. Private communication (1983)
5. Abramsky, S., Gabbay, D.M., Maibaum, S.E. (eds.) Handbook of Logic in Computer Science: Background: Computational Structures, vol. 2. Oxford University Press Inc., New York (1992)