Johnson, Horn, 2014. Abstracting abstract control, in: . ACM Press.. https://doi.org/10.1145/2661088.2661098