G. Sundholm, “A Logical Framework”, RHV, no. 1, pp. 35–40, May 2013.