Reliable interactive programming with modules Sho-Huan Simon TungR. Kent Dybvig OriginalPaper Pages: 343 - 358