* Some related documents:
[1] Kazuhiro Ogata and Kokichi Futatsugi: Proof Scores in the OTS/CafeOBJ Method, Proc. of the 6th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003), LNCS 2884, Springer, pp.170-184 (2003)
[2] Kazuhiro Ogata and Kokichi Futatsugi: Compositional Writing of Proof Scores, A longer version of [1], Unpublished (2004)
[3] Kazuhiro Ogata and Kokichi Futatsugi: The OTS/CafeOBJ Method and Some Future Directions, Slides for [2] (2004)

* OTS/CafeOBJ sepcs and proof scores:
- qlock.mod
- queue.mod
- invariants.mod
- template.mod
- proof1.mod
- proof2.mod
- proof3.mod
- proof4.mod