Spangler, A. (1996). "Cleanroom software engineering-plan your work and work your plan in small increments". IEEE Potentials. 15 (4): 29–32. doi:10.1109/45.539962. ISSN0278-6648.
Broadfoot, Guy H.; Hopcroft, P. J. (2005). "Introducing formal methods into industry using Cleanroom and CSP". Dedicated Systems e-Magazine. S2CID14066854.
Spangler, A. (1996). "Cleanroom software engineering-plan your work and work your plan in small increments". IEEE Potentials. 15 (4): 29–32. doi:10.1109/45.539962. ISSN0278-6648.