Evidence-based programming language design : a philosophical and methodological exploration - Kaijanaho, Antti-Juhani, kirjoittaja (Jyväskylä studies in computing,, 2015)