Antimirov, V. M.; Degtyarev, A. Consistency and Semantics of Equational Definitions over Predefined Algebras. DPB 1993, 22.