Castro, Laura M., et al. “Making Property-Based Testing Easier to Read for Humans”. Computing and Informatics, vol. 35, no. 4, Feb. 2017, pp. 890-13, http://147.213.75.17/ojs/index.php/cai/article/view/3381.