Where did the band Petra get its name?

Petra is a Greek name meaning "rock". The band chose this name because they wanted their music to be a solid foundation for their listeners. They also felt that the name Petra represented their strong Christian faith and their commitment to spreading the Gospel through their music.