Beyer, Chlipala, Henzinger, Jhala, Majumdar, 2004. The Blast Query Language for Software Verification, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-27864-1_2