Verifying Specifications with Proof Scores in CafeOBJ | IEEE Conference Publication | IEEE Xplore