@techreport{Habermaier2011,
  author    = {Axel Habermaier},
  title     = {The Model of Computation of CUDA and its Formal Semantics},
  institution = {Fakult{\"a}t f{\"u}r Angewandte Informatik},
  series    = {Reports / Technische Berichte der Fakult{\"a}t f{\"u}r Angewandte Informatik der Universit{\"a}t Augsburg},
  number    = {2011-14},
  year      = {2011},
}