sentences:  Farquhar used analytical expressions to represent halo orbits; in 1984, Kathleen Howell showed that more precise trajectories could be computed numerically.The first mission to use a halo orbit was ISEE-3, a joint ESA and NASA spacecraft launched in 1978.It traveled to the Sun–Earth point and remained there for several years.