@inproceedings{GoguenLinde1993, title = "Techniques for Requirements Elicitation", author = "Joseph Goguen and Charlotte Linde", year = "1993", booktitle = "Requirements Engineering", pages = "152-164", publisher = "IEEE", }