P. Rastall, “Small model languages as tools for reflection”, LUD, vol. 1, no. 1, pp. 1–23, Dec. 2013.