Programming Development with or without Coding. - Jack Foisseau; René Jacquart; Michel Lemaître; Michel Lemoine; J. C. Vignat; Guy Zanon (IFIP Congress, 1980)

LF: langage de spécification de fonctions et de types de données en logique. - René Jacquart; Michel Lemaître; Guy Zanon (SPLT, 1982)

An Extension to Linear Resolution with Selection Function. - Jack Minker; Guy Zanon (Inf. Process. Lett., 1982)

SPRAC: A Software Engineering Environment. - Michel Lemoine; René Jacquart; Guy Zanon (STACS, 1987)

Electronic Purse Applet Certification: extended abstract. - Pierre Bieber; Jacques Cazin; Virginie Wiels; Guy Zanon; Pierre Girard; Jean-Louis Lanet (Workshop on Secure Architectures and Information Flow, 1999)

Checking Secure Interactions of Smart Card Applets. - Pierre Bieber; Jacques Cazin; Pierre Girard; Jean-Louis Lanet; Virginie Wiels; Guy Zanon (ESORICS, 2000)

The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. - Pierre Bieber; Jacques Cazin; A. El Marouani; Pierre Girard; Jean-Louis Lanet; Virginie Wiels; Guy Zanon (Java Card Workshop, 2000)

Checking Secure Interactions of Smart Card Applets: Extended Version. - Pierre Bieber; Jacques Cazin; Pierre Girard; Jean-Louis Lanet; Virginie Wiels; Guy Zanon (J. Comput. Secur., 2002)