Key points are not available for this paper at this time.
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1989.
Gary L. Drescher (Sun,) studied this question.