Component-based algebraic speci and veri in CafeOBJ (1999)

by Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
Venue:FM'99 { Formal Methods, volume 1709 of Lecture Notes in Computer Science