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, https://www.cai.sk/ojs/index.php/cai/article/view/3381.