A Formalisation and Explication of the 'D' Language. - Bin Xu 015 (2008)