Journal: J. Comput. Science