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