\usepackage{syntax}
\usepackage{sverb}
\usepackage{mdwtab}
-\usepackage[mdwmargin]{mdwthm}
+\usepackage[mdwmargin, within=section]{mdwthm}
\usepackage{amssymb}
\usepackage{footnote}
\usepackage{at}
\usepackage{sod}
\makeindex
+\let\indexstheadcase\relax
+\bibliographystyle{mdwalpha}
\title{A Sensible Object Design for C}
\author{Mark Wooding}
%%%--------------------------------------------------------------------------
\backmatter
+\bibliography{%
+ isostd,%
+ sigplan1990}
\printindex
%%%----- That's all, folks --------------------------------------------------