Masaki Nakamura, Kokichi Futatsugi: On Equality Predicates in Algebraic Specification Languages. ICTAC 2007: 381-395