• Model-based technology of software development in largePenjam, Jaan; Tõugu, Enn14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 20152015 / p. 149-163 : ill https://ceur-ws.org/Vol-1525/paper-11.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-84962606230&origin=inward&txGid=4feafb78badcaa0695f7e742b2eda546
• Two set-based implementations of quotients in type theoryVeltri, Niccolò14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 20152015 / p. 194-205 https://ceur-ws.org/Vol-1525/paper-14.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-84962598967&origin=inward&txGid=df119720fb862645bb6560d535630baf