The Use of Higher Order Logic in Program Verification | IEEE Journals & Magazine | IEEE Xplore