books/bookvol13, bookvolbib add Daly for proving Axiom

\bibitem[Daly 10]{Daly10} Daly, Timothy\\
``Intel Instruction Semantics Generator''\\
\verb|daly.axiom-developer.org/TimothyDaly_files/publications/sei/|
\verb|intel/intel.pamphlet|

\begin{adjustwidth}{2.5em}{0pt}
Given an Intel x86 binary, extract the semantics of the instruction
stream as Conditional Concurrent Assignments (CCAs). These CCAs
represent the semantics of each individual instruction. They can be
composed to represent higher level semantics.
\end{adjustwidth}