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