Didier Bert - B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, ... Notes in Computer Science, 1393, Band 1393)

Hachette Bnf La France littéraire ou Dict. bibliographique des savants, T 10, [V-Z] (Éd.1827-1839) - Joseph-Marie Quérard - broché