A Handbook of verification procedures / - Barnaby, Frank. (St. Martin's Press,, 1990)