Are you referring to this paper? <a href="http:&#x2F;&#x2F;wphomes.soic.indiana.edu&#x2F;jsiek&#x2F;files&#x2F;2014&#x2F;08&#x2F;retic-python-v3.pdf" rel="nofollow">http:&#x2F;&#x2F;wphomes.soic.indiana.edu&#x2F;jsiek&#x2F;files&#x2F;2014&#x2F;08&#x2F;retic-py...</a>