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.