John Hughes: QuickCheck Testing for Fun and Profit. PADL 2007: 1-32