Inserted the latest version of formal specifications by NB in the
appendix and added the table of abbreviations.
Authored by: j-lamm 2012-01-06
Parent: [r10]
Child: [r12]