2 works on record
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Engineering of Complex Computer Systems