Well, there may be more than one style which uses these forms, but they do not have the same name as the forms in Chung Do Kwon. The way the style was started was a Korean guy trained with a Shotokan guy and basically took the forms and adapted them to his style. I'm sure this happened in other styles as well. However, none of the forms in this style are original Korean forms until after black belt. The forms up to black belt are Shotokan forms. The Shotokan guys I have seen do them a little differently, but they are exactly the same moves. I don't know how to spell the, but the forms are called Kuk ma, Pyung An, Chulgi, and Palsek. I think the Shotokan forms are probably common in many Japanese/Korean Karate styles, so I'm sure they show up in many of these. However, I also see that some Tae Kwon Do Forms do not use them at all.
Bryan