- Bernhard Aichernig. A systematic introduction to mutation testing in unifying theories of programming. In Paulo Borba, Ana Cavalcanti, Augusto Sampaio, and Jim Woodcook, editors, Testing Techniques in Software Engineering, volume 6153 of Lecture Notes in Computer Science, pages 243–287. Springer Berlin / Heidelberg, 2010.
- Barbosa Luís Soares, Sun Meng, Bernhard Aichernig, and Rodrigues Nuno. On the semantics of componentware: a coalgebraic perspective. In Zhiming Liu and He Jifeng, editors Mathematical Frameworks for Component Software: Models for Analysis and Synthesis, volume 2 of Series on Component-Based Software Development, pages 69–118. World Scientific, 2006. ISBN 981-270-017-X.
