Bu türde 2 kitap
User-centred requirements for software engineering environments
Russel Winder
Mathematical methods of specification and synthesis of software systems '85
W. Bibel