MILL,S.B. PRACTICAL FORMAL SOFTWARE ENGINEERING:WANTING THE SOFTWARE YOU GET - NEW YORK Cambridge University Press 2009 - xxxiii+339p.,25x19Cm ISBN: 0521879033 Dewey Class. No.: 621.3819642 M657