Kenneth C. Chou, Alan S. Willsky, Albert Benveniste.
Caption title.
Includes bibliographical references (p. 31-34).
Supported by Air Force Office of Scientific Research. AFOSR-88-0032 Supported by the National Science Foundation. MIP-9015281 INT-9002393 Supported by the Office of Naval Research. N00014-91-J-1004 Supported by INRIA. Third author also supported in part by CNRS. G0134