Theories for algorithm calculation by Jeuring