This paper provides a detailed technical description of the Bielecki and Rutkowski approach to the Heath-Jarrow-Morton type modeling of defaultable term structure of interest rates with multiple ratings. Special emphasis is put on the arbitrage-free feature of the model, as well as on the explicit construction of the conditionally Markov process of credit migrations.