IDA in retrospect (Oxford University Press, 1982)