Mathematics of computing. - 1991.