Adnan Ashraf Benjamin Byholm Ivan Porres 118-130 2018 28 Comput. Sci. Rev. https://doi.org/10.1016/j.cosrev.2018.02.003 db/journals/csr/csr28.html#AshrafBP18