proper scientific reference to the D lang and the MIR/LUBECK

[Yura]

Dear Community,
I am going to write a scientific article where I heavily used the 
D programming language and the MIR/LUBECK numerical libraries. 
How should I properly cite them in the following sentence?

"
All steps detailed in Section 2.1 were implemented into a 
parallel computer code written in the D programming 
language.[REF1] The systems of linear equations specified in eqn. 
(2) were solved using the MIR[REF2] and LUBECK numerical 
libraries.[REF3]
"

Thank you!