by Pierre Am?e Humblet.
Bibliography: p. 194-198.
Prepared under Advanced Research Projects Agency Grant ONR-N00014-75-C-1183.
Originally presented as the author's thesis, (Ph.D.) in the M.I.T. Dept. of Electrical Engineering and Computer Science, 1978.