International journal of computer mathematics: computer systems theory (Taylor & Francis Group, 2016)