Computer logic, testing and verification D.J. Evans 1981 Journal of the Franklin Institute 82 citations