@inproceedings{rager-06-acl2,
  author="David L. Rager",
  title="Adding Parallelism Capabilities in ACL2",
  booktitle="ACL2 '06: Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications",
  year="2006",
  isbn="0-9788493-0-2",
  pages="90-94",
  location="Seattle, Washingtong",
  doi="http://doi.acm.org/10.1145/1217994",
  publisher="ACM",
  address="New York, New York, USA"
}

@inproceedings{rager-hunt-09-ilc,
  author="Rager, David L. and Hunt, Jr., Warren A.",
  title="Implementing a Parallelism Library for a Functional Subset of Lisp",
  booktitle="Proceedings of the 2009 International Lisp Conference",
  year="2009",
  pages="18-30",
  location="Cambridge, Massachusetts",
  publisher="Association of Lisp Users",
  address="Sterling, Virginia, USA"
}

@mastersthesis{rager-08-masters,
    author="David L. Rager",
    title="Implementing a Parallelism Library for ACL2 in Modern Day LISPs",
    year="2008",
    school="The University of Texas at Austin"
}