Add QuickCheck paper