>>688
http://research.microsoft.com/~simonpj/papers/slpj-book-1987/index.htm
これ?
lazy evaluationの正当化は194ページにちょっとあるだけかな