Alonderis, R. (1997) „Indeksinis daugiasukcedentinis skaičiavimas su apverčiamomis taisyklėmis konstruktyvinei logikai“, Lietuvos matematikos rinkinys, 37(I), p. 165–170 . doi:10.15388/LMD.1997.38208.