Utilitas mathematica (University of Manitoba, Department of Computer Science, 1972)