Michael Reddy's original paper on the conceptĀ