SIGNAL. - Pascalin Amagbégnon; Paul Le Guernic; Hervé Marchand; Éric Rutten (Formal Development of Reactive Systems, 1995)

Implementation of the Data-Flow Synchronous Language SIGNAL. - Pascalin Amagbégnon; Loïc Besnard; Paul Le Guernic (PLDI, 1995)

Verifying the Implementation of an Error Control Code. - Pascalin Amagbégnon; Uri Barkai (Formal Methods Syst. Des., 2003)