Finitely generated congruence distributive quasivarieties of algebras Wiesław Dziobiak (1989) Fundamenta Mathematicae
Functional representation of preiterative/combinatory formalism Isidore Fleischer (2004) Mathematica Slovaca