The following publications are possibly variants of this publication:
- Advances of Proof Scores in CafeOBJ : Invited PaperKokichi Futatsugi. tase 2021: 3-12 [doi]
- Fostering Proof Scores in CafeOBJKokichi Futatsugi. icfem 2010: 1-20 [doi]
- Principles of proof scores in CafeOBJKokichi Futatsugi, Daniel Gâinâ, Kazuhiro Ogata. TCS, 464:90-112, 2012. [doi]
- Verifying Specifications with Proof Scores in CafeOBJKokichi Futatsugi. ASE 2006: 3-10 [doi]
- Proof Scores in the OTS/CafeOBJ MethodKazuhiro Ogata, Kokichi Futatsugi. fmoods 2003: 170-184 [doi]
- Generic Proof Scores for Generate & Check Method in CafeOBJKokichi Futatsugi. BIRTHDAY 2015: 287-310 [doi]
- Some Tips on Writing Proof Scores in the OTS/CafeOBJ MethodKazuhiro Ogata, Kokichi Futatsugi. BIRTHDAY 2006: 596-615 [doi]
- A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ MethodTakahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi. ENTCS, 147(1):57-72, 2006. [doi]
- Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ MethodKazuhiro Ogata, Kokichi Futatsugi. jucs, 19(6):771-804, 2013. [doi]