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