Here are a few references:

• Marseille Logic Group
• Penn Logic and Computation Group
• Dexter Kozen