This work was supported in part by the Office of Naval Research under contract no. N00014-86-K-0245;
and by the Department of Energy under contract no. KC-07-01-02 and by the Federal Systems Division of IBM Corporation under University Agreement WF-159679;