RASTALL, P. Small model languages as tools for reflection. Language Under Discussion, v. 1, n. 1, p. 1–23, 30 Dec. 2013.