The French Population Census for 1990. - Pascal Bernard; Guy Laffitte (ZUM, 1995)

"Higher-Order" Mathematics in B. - Jean-Raymond Abrial; Dominique Cansell; Guy Laffitte (ZB, 2002)