P. Padawitz, “Algebraic Model Checking”, eceasst, vol. 26, Mar. 2010.