Tác giả: Didier Bert

Didier Bert & Christine Choppy: Recent Trends in Algebraic Development Techniques

Didier Bert & Jonathan P. Bowen: ZB 2003: Formal Specification and Development in Z and B

Didier Bert & Jonathan P. Bowen: ZB 2002: Formal Specification and Development in Z and B