Elicitation and Verification of a Functional Specification. - Bernard S. Doherty; B. Pauly; J. Barthelemy (ECAI, 1990)