1. Bennet, K., Rajlich, V.: Software Maintenance and Evolution: a Roadmap. In: ICSE 2000: Proceedings of the Conference on The Future of Software Engineering, pp. 73–89. ACM, New York (2000)
2. Black, S., Boca, P.P., Bowen, J.P., Gorman, J., Hinchey, M.: Formal Versus Agile: Survival of the Fittest. IEEE Computer 42(9), 37–54 (2009)
3. Bollin, A.: Specification Comprehension – Reducing the Complexity of Specifications. Ph.D. thesis, AAU Klagenfurt (April 2004)
4. Bollin, A.: Concept Location in Formal Specifications. Journal of Software Maintenance and Evolution – Research and Practice 20(2), 77–105 (2008)
5. Bollin, A.: Slice-based Formal Specifiation Measures – Mapping Coupling and Cohesion Measures to Formal Z. In: Muñoz, C. (ed.) Proceedings of the Second NASA Formal Methods Symposium, NASA/CP-2010-216215, NASA, Langley Research Center, pp. 24–34 (April 2010)