Return to Article Details Vol 1 No 1 (2013): Small model languages as tools for reflection (Rastall) Download Download PDF