@phdthesis(boll04,
 author       = "Andreas Bollin",
 year         = "2004",
 title        = "Specification Comprehension -- Reducing the Complexity of Specifications",
 school       = "University of Klagenfurt",
)
@article(boll07a,
 author       = "Andreas Bollin",
 year         = "2007",
 title        = "Concept Location in Formal Specifications",
 journal      = "Journal of Software Maintenance and Evolution: Research and Practice",
 volume       = "Manuscript submitted Jan. 2007",
 doi          = "10.1002/smr.363",
)
@inproceedings(Bollin10,
 author       = "Andreas Bollin",
 year         = "2010",
 title        = "{Slice-based Formal Specifiation Measures -- Mapping Coupling and Cohesion Measures to Formal Z}",
 editor       = "C{\`e}sar Mu{\~n}oz",
 booktitle    = "Proceedings of the Second NASA Formal Methods Symposium",
 series       = "NASA/CP-2010-216215",
 publisher    = "NASA, Langley Research Center",
 pages        = "24--34",
)
@techreport(chang94,
 author       = "Juei Chang and Debra J. Richardson",
 year         = "1994",
 title        = "{Static and Dynamic Specification Slicing}",
 type         = "Technical Report",
 institution  = "Department of Information and Computer Science, University of California",
)
@manual(chap09,
 author       = "Rod Chapman",
 year         = "2009",
 title        = "The Tokeneer ID Station -- Overview and Readers Guide. S.P1229.81.8. Issue: 1.4",
 organization = "Praxis High Integrity Systems",
)
@book(fenton98,
 author       = "Norman E. Fenton and Shari Lawrence Pfleeger",
 year         = "1989",
 title        = "{Software Metrics}",
 edition      = "2nd",
 publisher    = "Thompson Press",
)
@inproceedings(har97,
 author       = "Mark Harman and Margaret Okulawon and Bala Sivagurunathan and Sebastian Danicic",
 year         = "1997",
 title        = "Slice-based measurement of coupling",
 booktitle    = "Proceedings of the ICSE workshop on Process Modelling and Empirical Studies of Software Evolution. Boston, Massachusetts",
 publisher    = "IEEE Computer Society",
 address      = "Los Alamitos, CA, USA",
 pages        = "28--32",
)
@article(hen81,
 author       = "Sally M. Henry and Dennis G. Kafura",
 year         = "1981",
 title        = "Software structure metrics based on information flow",
 journal      = "IEEE Transactions on Software Engineering",
 volume       = "7",
 number       = "5",
 pages        = "510--518",
 doi          = "10.1109/TSE.1981.231113",
)
@article(Jorgensen04,
 author       = "Magne J{\o }rgensen",
 year         = "2004",
 title        = "{A review of studies on expert estimation of software development effort}",
 journal      = "Journal of Systems and Software",
 volume       = "70",
 number       = "1--2",
 pages        = "37--60",
 doi          = "10.1016/S0164-1212(02)00156-5",
)
@manual(lars08,
 author       = "Pia Veldt Larsen",
 year         = "2008",
 title        = "ST111: Regression and analysis of variance -- Module 8: Selecting regression models",
 organization = "Manual from statmaster.sdu.dk/courses/st111/module08, Syddansk University, Department of Statistics",
)
@article(malik11,
 author       = "Petra Malik",
 year         = "2011",
 title        = "A retrospective on CZT",
 journal      = "{Software -- Practice and Experience}",
 volume       = "41",
 number       = "2",
 pages        = "179--188",
 doi          = "10.1002/spe.1015",
)
@inproceedings(mitt03,
 author       = "Roland T. Mittermeir and Andreas Bollin",
 year         = "2003",
 title        = "Demand-driven Specification Partitioning",
 booktitle    = "Proceedings of the 5th Joint Modular Languages Conference, JMLC'03",
 pages        = "241--253",
 doi          = "10.1007/978-3-540-45213-3\unhbox \voidb@x \vbox {\hrule width0.4em}30",
)
@inproceedings(oda93,
 author       = "Tomohiro Oda and Keijiri Araki",
 year         = "1993",
 title        = "Specification slicing in a formal methods software development",
 booktitle    = "Seventeenth Annual International Computer Software and Applications Conference",
 series       = "IEEE Computer Socienty Press",
 pages        = "313--319",
 doi          = "10.1109/CMPSAC.1993.404234",
)
@inproceedings(ott89,
 author       = "Linda M. Ott and Jeffrey J. Thus",
 year         = "1989",
 title        = "{The Relationship between Slices and Module Cohesion}",
 booktitle    = "11th International Conference on Software Engineering",
 publisher    = "IEEE Computer Society",
 address      = "Los Alamitos, CA, USA",
 pages        = "198--204",
 doi          = "10.1145/74587.74614",
)
@book(putnam03,
 author       = "Lawrence H. Putnam and Ware Myers",
 year         = "2003",
 title        = "{Five Core Metrics: The Intelligence Behind Successful Software Management}",
 publisher    = "Dorset House",
)
@book(rees03,
 author       = "D. G. Rees",
 year         = "2003",
 title        = "{Essential Statistics}",
 edition      = "4th",
 publisher    = "Chapman \& Hall",
)
@inproceedings(sams87,
 author       = "W.B. Samson and Denis G. Nevill and P.I. Dugard",
 year         = "1987",
 title        = "Predictive software metrics based on a formal specification",
 booktitle    = "Information and Software Technology",
 series       = "5",
 volume       = "29",
 pages        = "242--248",
)
@inproceedings(shep90,
 author       = "Martin J. Shepperd and Darrel C. Ince",
 year         = "1990",
 title        = "The use of metrics in the early detection of design errors",
 booktitle    = "Proceedings of the European Software Engineering Conference ’90",
 pages        = "67--85",
)
@book(sneed10,
 author       = "Harry M. Sneed and Richard Seidl and Manfred Baumgartner",
 year         = "2010",
 title        = "{Software in Zahlen}",
 publisher    = "Carl Hanser Verlag",
)
@mastersthesis(tab11,
 author       = "Abdollah Tabareh",
 year         = "2011",
 title        = "{Predictive Software Measures Based on Formal Z Specifications}",
 school       = "University of Gothenburg - Department of Computer Science and Engineering",
)
@inproceedings(weiser82,
 author       = "Mark Weiser",
 year         = "1982",
 title        = "{Program slicing}",
 booktitle    = "Proceedings of the $5^{th}$ International Conference on Software Engineering",
 publisher    = "IEEE Press",
 address      = "Piscataway, NJ, USA",
 pages        = "439--449",
)