4D. Bjomer, Software Engineering 1 Abstraction and Modelling, Springer 2006.
5Kokichi Futatsugi et al. ,2005, Proof Scores in the OTS/CafeOBJ Method, In Proceeding of the 6th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, LNCS 2884,Springer,p170-184.
