Authors
Loading...
Key points are not available for this paper at this time.
C. A. R. Hoare (1961) studied this question.