R. K. Chauhan, “Cleanroom Software Engineering for Zero-Defect Software”, theijst, vol. 2, no. 6, Jun. 2014.