Alonderis, Romas. “Indeksinis Daugiasukcedentinis skaičiavimas Su apverčiamomis taisyklėmis Konstruktyvinei Logikai”. Lietuvos Matematikos Rinkinys, vol. 37, no. I, Dec. 1997, pp. 165–170 , https://doi.org/10.15388/LMD.1997.38208.