Title: CafeOBJ report
Subjects: Réécriture, Théorie démonstration, Spécification algébrique, CafeOBJ, Object-oriented methods (computer science), Algebra