Star-names and their meanings, 1899

Allen, Richard Hinckley, 1838-1908