V. M. Antimirov and A. Degtyarev, “Consistency and Semantics of Equational Definitions over Predefined Algebras”, DPB, vol. 22, no. 431, Jan. 1993.