@misc(acl2:doc,
 author       = {{ACL2 Community}},
 year         = {Accessed: 2018},
 title        = {{ACL2+Books} Documentation},
 url          = {http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html},
)
@manual(coq:reference,
 organization = {The Coq Development Team},
 year         = {2018},
 title        = {The Coq Proof Assistant Reference Manual},
 edition      = {8.8},
 url          = {http://coq.inria.fr/distrib/current/refman/index.html},
)
@manual(hol:description,
 author       = {Michael Norrish and Konrad Slind},
 year         = {2018},
 title        = {The HOL System Description},
 edition      = {3rd},
 url          = {http://hol-theorem-prover.org},
)
@techreport(00-sawada-computed,
 author       = {Jun Sawada},
 year         = {2000},
 title        = {{ACL2} Computed Hints: Extension and Practice},
 type         = {Technical Report},
 number       = {TR-00-29},
 institution  = {The University of Texas at Austin, Department of Computer Sciences},
 note         = {ACL2 Workshop 2000 Proceedings, Part A},
)
@manual(isabelle_isar:reference,
 author       = {Makarius Wenzel},
 year         = {2017},
 title        = {The Isabelle/Isar Reference Manual},
 url          = {http://isabelle.in.tum.de/dist/Isabelle2017/doc/isar-ref.pdf},
)