Mendoza Santana, Juan Jose (2013) Construct by Contract: Construct by Contract: An Approach for Developing Reliable Software. Masters thesis, National University of Ireland Maynooth.