1-2 of 2 Books
An integrated approach to software engineering
By P. Jalote
Introduction a la specification
By Henri Habrias