1. Lecture Notes in Computer Science;M.J. Banks,2010
2. Banks, M.J., Jacob, J.L.: On integrating confidentiality and functionality in a formal method. Formal Asp. Comput. (2013),
http://link.springer.com/article/10.1007%2Fs00165-013-0285-4
3. Boiten, E., Derrick, J., Schellhorn, G.: Relational concurrent refinement part II: Internal operations and outputs. Formal Asp. Comput. 21(1-2), 65–102 (2009)
4. Boiten, E., Jacob, J.: Modelling sealed envelopes in Z (2014),
http://www.cs.kent.ac.uk/people/staff/eab2/papers/envlop.pdf
5. Lecture Notes in Computer Science;R. Canetti,2001