@manual(ctos,
 organization = "Cadence Design Systems",
 year         = "2012",
 title        = "C-to-Silicon Compiler User's Guide",
)
@inproceedings(peter,
 author       = "Peter Divi\`{a}nszky",
 year         = "2008",
 title        = "Translating Imperative Algorithms to Functional Code with Unique Variable Environments",
 editor       = "Sven-Bodo Scholz",
 booktitle    = "Implementation and Application of Functional Languages",
 series       = "20th International Symposium, IFL 2008",
 address      = "Hatfield, Hertfordshire, UK",
 pages        = "216--221",
)
@manual(systemc,
 organization = "IEEE Computer Society",
 year         = "2011",
 title        = "SystemC Language Reference Manual",
 url          = "http://homes.di.unimi.it/~pedersini/AD/SystemC_v201_LRM.pdf",
)
@inproceedings(mccarthy,
 author       = "John McCarthy",
 year         = "1962",
 title        = "Towards a Mathematical Science of computation",
 booktitle    = "IFIP Congress",
 pages        = "21--28",
)
@article(myreen,
 author       = "Magnus O. Myreen and Michael J. C. Gordon",
 year         = "2012",
 title        = "Function Extraction",
 journal      = "Science of Computer Programming",
 volume       = "77",
 pages        = "505--517",
 doi          = "10.1016/j.scico.2010.10.001",
)
@manual(libman,
 author       = "David M. Russinoff",
 title        = "A Formal Theory of Register-Transfer Logic and Computer Arithmetic",
 url          = "http://www.russinoff.com/libman/",
)
@inproceedings(imacs,
 author       = "David M. Russinoff and Matt Kaufmann and Eric Smith and Rob Sumners",
 year         = "2005",
 title        = "Formal Verification of Floating-Point RTL at AMD Using the ACL2 Theorem Prover",
 booktitle    = "Proceeding of the 17th IMACS World Congress",
 address      = "Paris",
 url          = "http:///www.russinoff.com/papers/paris.html",
)
@inproceedings(gl,
 author       = "Sol Swords and Jared Davis",
 year         = "2011",
 title        = "Bit-Blasting {ACL2} Theorems",
 booktitle    = "ACL2 '11",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "70",
 pages        = "84--102",
 doi          = "10.4204/EPTCS.70.7",
)