Chatterjee, K., Goharshady, A.K., Ibsen-Jensen, R., Pavlogiannis, A., 2020. Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-030-44914-8_5