1. Abstract and Concrete Categories;Adámek,1990
2. Algebraic theories of quasivarieties;Adámek;J. Algebra,1998
3. CASL user manual;Bidoit,2003
4. Lambda calculus with constrained types;Breazu-Tannen,1985
5. Equational lifting monads;Bucalo;Theoret. Comput. Sci.,2003