Kokichi Futatsugi

• Algebra, meaning, and computation
• Cafe
• CafeOBJ report
• Software Security - Theories and Systems