\backcite {treebus}{{\uppercase {ii}}{4}{Hfootnote.7}}
\backcite {mclean}{{\uppercase {ii}}{4}{Hfootnote.7}}
\backcite {lamport}{{\uppercase {ii}}{4}{Hfootnote.7}}
\backcite {bernard}{{\uppercase {ii}}{5}{Hfootnote.7}}
\backcite {lamport}{{\uppercase {ii}}{5}{Hfootnote.7}}
\backcite {bernard}{{A}{5}{section.2.1}}
\backcite {grecon}{{B}{6}{section.2.2}}
\backcite {bernard}{{C}{7}{section.2.3}}
\backcite {bernard}{{D}{7}{section.2.4}}
\backcite {abbott:exeter}{{A}{30}{section.11.1}}