\subsection{Bibliographic Notes}% TODO: points to be added to 5.4% A possibly helpful list is at https://cstheory.stackexchange.com/a/29452% Also the bibliography file should be worked through.\emph{NB: these notes are to be added to the current section 5.4.}