BibTeX for a paper by David Kotz at Dartmouth College.
For more information about this paper, visit this web page:
https://kotz.cs.dartmouth.edu/research/peebles-anonytl/index.html

@TechReport{peebles:anonytl,
  author =        {Dan Peebles and Cory Cornelius and Apu Kapadia and David Kotz and Minho Shin and Nikos Triandopoulos},
  title =         {{AnonyTL Specification}},
  institution =   {Dartmouth Computer Science},
  year =          2010,
  month =         {January},
  number =        {TR2010-660},
  copyright =     {the authors},
  URL =           {https://kotz.cs.dartmouth.edu/research/peebles-anonytl/index.html},
  abstract =      {We provide a specification of \emph{AnonyTL}, a domain-specific language that describes sensing tasks for mobile devices in a manner that facilitates automated reasoning about privacy.},
}