Title: Compendium of Verbatim Statements on Verification
First published: 1985