The codename is derived from the infamous villain , General Zod , from the Superman DC Comic Books .
Green Lantern is the name of several fictional characters , superheroes appearing in comic books published by DC Comics .