Books — property-based testing