Computer Aided Verification by G. Goos & A.J. Hu