I bought a book a few years back that covers the history of the PC, Destin and Ft. Walton areas. Basically starts when it was 95% beach, with a few small rental houses, and how it all developed over the years. It covers Goofy Golf, Miracle Strip Amusement Park, Petticoat Junction, Gulf World, the hotels and restaurants, and just about anything you can think of. Complete with tons of pictures, including my favorite attraction at Miracle Strip, The Old House.
Once I finally got the guts to go in, I'd go through that thing 10-15 times a night. Took me years before I finally got the nerve to ride through The Haunted Castle.