1. Barstow, D.R.: Remarks on “A synthesis of several sorting algorithms’’ by John Darlington. Acta Inf. 13, 225–227 (1980)
2. Blizard, W.D.: Multiset theory. Notre Dame J. Formal Log. 30(1), 36–66 (1989). https://doi.org/10.1305/ndjfl/1093634995
3. Buchberger, B.: Theory exploration with Theorema. Analele Univ. Din Timisoara Ser. Mat.-Inf. XXXVIII(2), 9–32 (2000)
4. Buchberger, B.: Algorithm invention and verification by lazy thinking. Analele Univ. din Timisoara Ser. Mat. - Inf. XLI, 41–70 (2003)
5. Buchberger, B., Craciun, A.: Algorithm synthesis by lazy thinking: Using problem schemes. In: Proceedings of SYNASC 2004, pp. 90–106 (2004)