M. Samuel, “Developing a syntax for SOTL”, Sotls, vol. 1, no. 1, pp. 19–38, Sep. 2017.