Clochard, Filliâtre, Marché, Paskevich, 2014. Formalizing Semantics with an Automatic Program Verifier, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-319-12154-3_3