W. Freitag and A. Zinke, “The theory of form logic”, LLP, vol. 21, no. 4, pp. 363–389, Dec. 2012.