SECTION:  Mathematical pr.../ Computer Science/ Theoretical programming/