Fixing QuickCheck citation.
Adding Neil's Workit and the DSL paper.