Gay, S. and Mackie, I. (Eds.) (2010) Semantic techniques in Quantum Computation. Cambridge University Press: Cambridge. ISBN 9780521513746

Mueller, M., Rogers, C. and Nagarajan, R. (2009) Lossless quantum prefix compression for communication channels that are always open. Physical Review A: Atomic, Molecular and Optical Physics, 79(1), (doi: 10.1103/PhysRevA.79.012302)

Gay, S. , Nagarajan, R. and Papanikolaou, N. (2008) QMC: A Model Checker for Quantum Systems. Lecture Notes in Computer Science, 5123, pp. 543-547. (doi: 10.1007/978-3-540-70545-1_51)