Birštunas, Adomas, ir Stanislovas Norgėla. „Atvirkštinis metodas teiginių modalumo logikai S4“. Lietuvos matematikos rinkinys 43, no. spec. (gruodžio 22, 2003): 429–433. žiūrėta rugpjūčio 30, 2026. https://journals.vu.lt/LMR/article/view/32470.