Possibly Infinite Sequences in Theorem Provers: A Comparative Study. - Marco Devillers; W. O. David Griffioen; Olaf Müller (TPHOLs, 1997)

Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. - Marco Devillers; W. O. David Griffioen; Judi Romijn; Frits W. Vaandrager (Formal Methods Syst. Des., 2000)