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