Fechete, Kienesberger, Blieberger, n.d.. A Framework for CFG-Based Static Program Analysis of Ada Programs, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-68624-8_10