Author: Workshop on Cleanroom Software Engineering (1996)