Cleanroom software engineering a reader - Poore, Jesse H. (Blackwell, 1996)