Alonderis, Romas. „Indeksinis Daugiasukcedentinis skaičiavimas Su apverčiamomis taisyklėmis Konstruktyvinei Logikai“. Lietuvos Matematikos Rinkinys, t. 37, nr. I, 1997 m.gruodžio, p. 165–170 , https://doi.org/10.15388/LMD.1997.38208.