Add references to material on derived formal functions theorem

Thanks to Antoly Preygel, Daniel Halperin-Leistner, and Bhargav Bhatt.