text: Isaiah 14:12 (KJV) is where the devil is referred to as Lucifer, other versions refer to him in that passage as morning star or another name. I'm not sure if the Bible ever refers to him as the King of Babylon. I couldn't find a reference to that in about four different translations but there are so many... you might try the website www.biblegateway.com it's a very useful tool