Further searching led me to something on Google Books from which I found that it
was Dr. Brian G. Marsden who proposed the unofficial names for the moons of
Jupiter which were used by some for a time.

John Savard