The design of a fully integrated graphics system. - Randy R. Torrance; Steve P. Sadler; J. Pierre Lamoureux; Jean Lamarche; David J. Frank; Francois Leveille (IEEE J. Solid State Circuits, 1988)

Practical approaches to the verification of a telecom megacell using FormalCheck. - Leila Barakatain; Sofiène Tahar; Jean Lamarche; Jean-Marc Gendreau (ACM Great Lakes Symposium on VLSI, 2001)