Barton, D. A new technique for the Lunar theory. Ph.D. Thesis, Cambridge University 1966
(1966)
Languages mentioned
CAMAL
{1968} CAMbridge ALgebra system