Pliuškevičius, Regimantas. „Žymių metodas tiesinei laiko logikai“. Lietuvos matematikos rinkinys, t. 55, nr. A, 2014 m.gruodžio, p. 46–50, https://doi.org/10.15388/LMR.A.2014.09.