This research attempts to propose closed-form solutions for prices of credit-risky bonds, assuming a nonzero correlation between interest rates and credit spreads. The times of default of a credit-risky bond are modelled as the jump times of a Cox process, following the method of Lando, with an...