PLIUŠKEVIČIUS, R. Method of marks for propositional linear temporal logic. Lietuvos matematikos rinkinys, v. 55, n. A, p. 46–50, 15 Dec.2014.