clarified NEWS: document_files are officially required since Isabelle2014, but the absence was tolerated as legacy feature;
@Book{Barnes,
author = {John Barnes},
title = {{T}he \textsc{Spark} {A}pproach to {S}afety and
{S}ecurity},
publisher = {Addison-Wesley},
year = 2006
}