Understanding CafeOBJ by examples Dorel Lucanu The talk presents the author’s experience with the CafeOBJ system. PDF RJ97 BIB
