1. McLean, J.: Security models. In: Marciniak, J. (ed.) Encyclopedia of Software Engineering, vol. 2, pp. 1136–1145. John Wiley & Sons, Inc., Chichester (1994)
2. Lecture Notes in Computer Science;P. Ryan,2001
3. Cavalcanti, A., Sampaio, A., Woodcock, J.: A refinement strategy for Circus. Formal Aspects of Computing 15(2-3), 146–181 (2003)
4. Oliveira, M.V.: Formal Derivation of State-Rich Reactive Programs using Circus. PhD thesis, Department of Computer Science, University of York (2005)
5. Oliveira, M., Cavalcanti, A., Woodcock, J.: A UTP semantics for Circus. Formal Aspects of Computing 21(1), 3–32 (2009)