The following publications are possibly variants of this publication:
- 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]
- On Automation of OTS/CafeOBJ MethodDaniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi. BIRTHDAY 2014: 578-602 [doi]
- Generic Proof Scores for Generate & Check Method in CafeOBJKokichi Futatsugi. BIRTHDAY 2015: 287-310 [doi]
- Trace anonymity in the OTS/CafeOBJ methodWeiqiang Kong, Kazuhiro Ogata, Jian Cheng, Kokichi Futatsugi. IEEEcit 2008: 754-759 [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]
- Advances of proof scores in CafeOBJKokichi Futatsugi. SCP, 224:102893, 2022. [doi]
- Formal digital license language with OTS/CafeOBJ methodJianwen Xiang, Dines Bjørner, Kokichi Futatsugi. aiccsa 2008: 652-660 [doi]
- Verifying Specifications with Proof Scores in CafeOBJKokichi Futatsugi. ASE 2006: 3-10 [doi]
- Advances of Proof Scores in CafeOBJ : Invited PaperKokichi Futatsugi. tase 2021: 3-12 [doi]