Johnsonand Horn. Abstracting Abstract Control. ACM Press, 2014, doi:10.1145/2661088.2661098.