Jean-François Monin. Understanding Formal Methods. Springer Verlag, Foreword by G. Huet. Translation editor M. Hinchey. ISBN 1-85233-247-6. 2002.
bibtex. Contents.
Jean-François Monin. Introduction aux méthodes formelles. Hermès, préface de G. Huet. 2-7462-0140-2. 2000.
bibtex.