Cleanroom software engineering
Leis, Paul
A & A
2007
/
2, lk. 3-4 : ill