Design and Implementation of a Dependable Interpreter for Functional Programs. - Yosuke Takigiku; Yasuaki Oota; Keiichi Kaneko (CATA, 2006)