(untitled) - Mizar, P; Wirth, T (Synthesis, 2017)