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