I want to know the answer to the following question:
what was the nickname of juan atkins, derrick may, and devin saunderson?
All the background I'm provided with is that "It was developed starting in the late 80s, one of the earliest hits being "Big Fun" by Inner City.". Is that enough to answer the question?