Z. Navickas, “Apie vieną Koši uždavinio formalaus sprendimo algoritmo apibendrinimą”, LMR, vol. 38, no. II, pp. 132–137 , Dec. 1998, doi: 10.15388/LMD.1998.37792.