1@Book{Barnes, 2 author = {John Barnes}, 3 title = {{T}he \textsc{Spark} {A}pproach to {S}afety and 4 {S}ecurity}, 5 publisher = {Addison-Wesley}, 6 year = 2006 7} 8