M. Tkaczyk and T. Jarmużek, “Jerzy Łoś Positional Calculus and the Origin of Temporal Logic”, LLP, vol. 28, no. 2, pp. 259–276, Sep. 2018.