R. Pliuškevičius, „Žymių metodas tiesinei laiko logikai“, LMR, t. 55, nr. A, p. 46–50, gruodž. 2014, doi: 10.15388/LMR.A.2014.09.