Advances of Proof Scores in CafeOBJ : Invited Paper | IEEE Conference Publication | IEEE Xplore