Computer logic, testing and verification - Roth, John Paul (Pitman Publishing, 1980)