2 books in this genre
User-centred requirements for software engineering environments
Russel Winder
Mathematical methods of specification and synthesis of software systems '85
W. Bibel