src/HOL/SPARK/Manual/document/root.bib

make WWW_Find work again, now that its ML modules reside within a theory context (cf. bf5b45870110) -- patch by Rafal Kolanski;

@Book{Barnes,
  author =       {John Barnes},
  title =        {{T}he \textsc{Spark} {A}pproach to {S}afety and
                  {S}ecurity},
  publisher =    {Addison-Wesley},
  year =         2006
}