1. A Brief History of Process Algebra;Baeten;Theor. Comput. Sci.,2005
2. More Enforceable Security Policies;Bauer;Foundations of Computer Security,2002
3. von Bochmann, G. and Bellal, O.B. (1989). Test Result Analysis with Respect to Formal Specifications. In Proc. 2nd. Int. Workshop on Protocol Test Systems, 272-294. Berlin.
4. Trace Analysis for Conformance and Arbitration Testing;von Bochmann;IEEE Trans. Software Eng.,1989
5. Introduction to the ISO Specification Language LOTOS;Bolognesi;Computer Networks,1987