Mechanization of tedious algebra: the Newcomb operators of planetary theory. - J. M. Gerard; Michael P. Barnett; I. G. Izsak (Commun. ACM, 1965)