Pliuškevičius, Regimantas. 2014. „Žymių metodas tiesinei laiko logikai“. Lietuvos matematikos rinkinys 55 (A): 46–50. https://doi.org/10.15388/LMR.A.2014.09.