Cleanroom Software Engineering: Technology and Process - Prowell et al. (Pearson, 1999)
Keywords: FOT (Computer Sciene)