Added B to DOORS presentation. FME99.

Presentation given at the Formal Methods Europe 1999, Toulouse, France
by Jeremy Dick on using DOORS and the B-Method together to achieve
traceability.