Mnacho Echenim公司 离散财务模型中的定价。 2018 2018 架构（architecture）。正式证明 https://www.isa-afp.org/entries/DiscretePricing.html db/journals/afp/afp2018.html#Echenim18