R. Diaconescu, K. Futatsugi:
Behavioural Coherence in Object-Oriented Algebraic Specification
/jucs_6_1/behavioural_coherence_in_object

page 74 - 96
Vol.6 / Issue 1

K. Ogata, K. Futatsugi:
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method
/jucs_19_6/compositionally_writing_proof_scores

page 771 - 804
Vol.19 / Issue 6

D. Găină, K. Futatsugi, K. Ogata:
Constructor-based Logics
/jucs_18_16/constructor_based_logics

page 2204 - 2233
Vol.18 / Issue 16