• Order-sorted ADTs (PDF)
• "Clean" Error treatment (PDF)
• CafeOBJ starter (PDF)
• CafeOBJ example (PDF)
• More examples (PDF)
• CafeOBJ 'theories" (PDF)
• Term rewriting systems 1 (PDF)