Computer Aided Verification by H. Comon & Geoffrey Berry