Văn bản này: CafeOBJ report :