Induction and Dialogue in Specification Formalisation: An Object-Based Approach. - Bernard S. Doherty; J. J. Stuart (ECAI, 1988)