An Introduction to Category-based Equational Logic.

Joseph A. Goguen Razvan Diaconescu An Introduction to Category-based Equational Logic. 91-126 1995 conf/amast/1995 AMAST db/conf/amast/amast95.html#GoguenD95