1. Baltag A. and Smets S., 2004, “The Logic of Quantum Programs”, in: P. Selinger (Ed.) Proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL2004), TUCS General Publication, 33, Turku Center for Computer Science, pp. 39-56.
2. Baltag A. and Smets S., 2005, “Complete Axiomatizations of Quantum Actions”, in: International Journal of Theoretical Physics, 44, 12, pp. 2267-2282.
3. Baltag A. and Smets S., 2006, “LQP: The Dynamic Logic of Quantum Information”, in: Mathematical Structures in Computer Science, Special Issue on Quantum Programming Languages, 16, 3, pp. 491-525.
4. Baltag A. and Smets S., 2008, “A Dynamic-Logical Perspective on Quantum Behavior”, in: L. Horsten and I. Douven (Eds.), Special Issue: Applied Logic in the Philosophy of Science, Studia Logica, 89, pp. 185-209.
5. Baltag A. and Smets S., 2011,. “Quantum Logic as a Dynamic Logic”, in: T. Kuipers, J. van Benthem and H. Visser (Eds.), Synthese, 179, 2, pp. 285-306.