International Journal of Computer Mathematics: Computer Systems Theory