J. Hladík, R. Lórencz, and I. Šimeček, “Clock Math — a System for Solving SLEs Exactly”, Acta Polytech, vol. 53, no. 2, Jan. 2013.