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