We reviewed (extended and made more compact/self-explained) some formulas, previously appeared in the literature, for the evaluation of equity options and bond options in the Leland model (1994), where stockholders have a perpetual American option to default.Our formulas have been expressed in...