We only have this paper's title and publication details.
No takes yet. Share an insight, caveat, or question.
C. A. R. Hoare (1961) studied this question.