[. Heisel and J. Eres, Methodological support for requirements elicitation and formal specification, Proceedings Ninth International Workshop on Software Specification and Design, pp.153-155, 1998.
DOI : 10.1109/IWSSD.1998.667932
URL : https://hal.archives-ouvertes.fr/inria-00098407

[. Heisel and J. Eres, A Method for Requirements Elicitation and Formal Specification, Proceedings 18th International Conference on Conceptual Modeling, ER'99, pp.309-324, 1999.
DOI : 10.1007/3-540-47866-3_21
URL : https://hal.archives-ouvertes.fr/inria-00098987

]. M. Jac95 and . Jackson, Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices, 1995.