2 libros en este género
User-centred requirements for software engineering environments
Russel Winder
Mathematical methods of specification and synthesis of software systems '85
W. Bibel