>
              <a href="introduction.html">1. Introduction</a>
            </span>
          </dt>
          <dd>
            <dl>
              <dt>
                <span class="sect1">
                  <a href="introduction.html#txnintro">Transaction Benefits</a>
                </span>
              </dt>
              <dt>
                <span class="sect1">
                  <a href="sysfailure.html">A Note on System Failure</a>
                </span>
              </dt>
              <dt>
        