Structured Analysis of Knowledge. - S. A. Hayward; Bob J. Wielinga; J. A. Breuker (Int. J. Man Mach. Stud., 1987)