Nada Amin, Rustan KM Leino, and Tiark Rompf. 2014. “Computing with an SMT solver.” In Tests and Proofs, Pp. 20–35. Springer International Publishing.