The Automated Production Control Documentation System: A Case Study in Cleanroom Software Engineering. - Carmen J. Trammell; Leon H. Binder; Cathrine E. Snyder (ACM Trans. Softw. Eng. Methodol., 1992)