1. Abramsky, S., & Bornat, R. (1983). Pascal-m: a language for loosely-coupled distributed systems. In Y. Paker & J.P. Verjus (Eds.), Distributed Computing Systems (Synchronisation, Control and Communication) (pp. 163–189). Academic Press.
2. Bennett, C. H., & Brassard, G. (1984). Quantum cryptography: Public key distribution and coin tossing. In Proceedings of IEEE International Conference on Computers, Systems, and Signal Processing, India (p. 175).
3. Bennett, C. H., Brassard, G., Crépeau, C., Jozsa, R., Peres, A., & Wootters, W. K. (1993). Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Physical Review Letters, 70(13).
4. Boender, J., Kammüller, F., & Nagarajan, R. (2015). Formalization of quantum protocols using Coq. EPTCS, 195, 71–83. https://doi.org/10.4204/EPTCS.195.6
5. Bornat, R. (1986). A protocol for generalized occam. Software: Practice & Experience, 16(9), 783–799.