A Formalisation and Explication of the 'D' Language

@inproceedings{Xu2008AFA,
  title={A Formalisation and Explication of the 'D' Language},
  author={Bin Xu},
  year={2008}
}