Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need. - Sandro Bologna; Eyvind Ness; Terje Sivertsen (TAI, 1990)