Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
There's also a citation for something Gill wrote, which in google scholar appears as "Axiomatic Independence of the Question NP&equil; P?" This appears in Kozen's paper on subrecursive indexes, for example