Studies in reflecting abstraction. (2014)