An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ.

Shin Nakajima, Kokichi Futatsugi

Browse the full ICSE paper archive.