POLLUS: A LUSTRE based hardware design environment. - Frédéric Rocheteau; Nicolas Halbwachs (Algorithms and Parallel VLSI Architectures, 1991)

Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE. - Frédéric Rocheteau; Nicolas Halbwachs (REX Workshop, 1991)

Extension du langage LUSTRE et application à la conception de circuits : le langage LUSTRE-V4 et le système POLLUX. (Extension of the lustre language and application to hardware design : the lustre-v4 language and the pollux system). - Frédéric Rocheteau (1992)

Functional Verification Methodology of Chameleon Processor. - Françoise Casaubieilh; Anthony McIsaac; Mike Benjamin; Mike Bartley; François Pogodalla; Frédéric Rocheteau; Mohamed Belhadj; Jeremy Eggleton; Gérard Mas; Geoff Barrett; Christian Berthet (DAC, 1996)