Antimirov, V. M. og Degtyarev, A. (1993) “Consistency and Semantics of Equational Definitions over Predefined Algebras”, DAIMI Report Series, 22(431). doi: 10.7146/dpb.v22i431.6747.