Lerch, J., &; Hermann, B. (2015). Design your analysis: a case study on implementation reusability of data-flow functions. In Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2015. ACM Press.https://doi.org/10.1145/2771284.2771289