Gazelle: A Framework for Compositional Programming-Language Semantics and Reasoning - Mario McGilvray Alvarez (2022)