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