Douglas Smith: Automatically enforcing quality in Ada software (panel). WADAS 1993: 167