Anya Helene Bagge, Valentin David, and Magne Haveraaen. 2009. The axioms strike back: testing with concepts and axioms in C++. SIGPLAN Not. 45, 2 (October 2009), 15-24. DOI=10.1145/1837852.1621612.
Anya Helene Bagge, Valentin David, and Magne Haveraaen. 2011. Testing with Axioms in C++ 2011. Journal of Object Technology, Volume 10, (2011), pp. 10:1-32. DOI=10.5381/jot.2011.10.1.a10. Figures.