Great site showing names of some original masters
http://www.taekwondopioneers.com/pioneers.html
Master C. K. Choi: In 1980 he designed the I.T.F. Uniform Tree Logo. He became Grandmaster in 2002.
He had created 19 sparring patterns - these never made it to the book - but are available on You Tube.
General Choi created the name Tae Kwon Do with the help of Grandmaster Nam Tae-Hi in 1955, in the Oh Do Kwan.
Choi published five Tae Kwon Do text books between 1959 and 1972. That was before anyone else published books about the art.