Quality measures and assurance for AI software - Rushby, John (1988)