Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems - Ait-Ameur; Méry, Dominique; Nakajima, Shin (Springer Singapore, 2021)