@article(FM9001,
 author       = {{Bishop C. Brock and Warren A. Hunt, Jr.}},
 year         = {1997},
 title        = {{The {\tt DUAL-EVAL} Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor}},
 journal      = {Formal Methods in Systems Design},
 volume       = {11},
 pages        = {71--105},
 doi          = {10.1023/A:1008685826293},
)
@misc(CCL,
 title        = {{CCL: Clozure Common Lisp}},
 url          = {https://ccl.clozure.com},
)
@article(MNA-1975,
 author       = {{Chung-wen Ho, Albert E. Ruehli, and Pierce A. Brennan}},
 year         = {1975},
 title        = {{The Modified Nodal Approach to Network Analysis}},
 journal      = {{IEEE Tranactions on Circuits and Systems}},
 volume       = {22},
 number       = {6},
 doi          = {10.1109/TCS.1975.1084079},
)
@article(JoSIM,
 author       = {Johannes Arnoldus Delport and Kyle Jackman and Paul le Roux and Coenrad Johann Fourie},
 year         = {2019},
 title        = {JoSIM\IeC{\textemdash}Superconductor SPICE Simulator},
 journal      = {IEEE Transactions on Applied Superconductivity},
 volume       = {29},
 number       = {5},
 pages        = {1--5},
 doi          = {10.1109/TASC.2019.2897312},
)
@article(IEEE_754,
 author       = {Microprocessor Standards Committee of the IEEE Computer Society},
 year         = {2019},
 title        = {IEEE Standard for Floating-Point Arithmetic},
 journal      = {IEEE Std 754-2019 (Revision of IEEE 754-2008)},
 pages        = {1--84},
 doi          = {10.1109/IEEESTD.2019.8766229},
)
@phdthesis(Delport-2019,
 author       = {{Johannes Arnoldus Delport}},
 year         = {2019},
 title        = {{Simulation and Verification Software for Superconducting Electronic Circuits}},
 school       = {{Stellenbosch University, South Africa}},
)
@misc(ACL2,
 author       = {Matt Kaufmann and {Moore, J S.}},
 title        = {{The ACL2 System Documentation}},
 url          = {http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/?topic=ACL2____Top},
)
@article(Mukhanov:1987,
 author       = {{O. A. Mukhanov and V. K. Semenov and K. K. Likharev}},
 year         = {1987},
 title        = {{Ultimate Performance of the RSFQ Logic Circuits}},
 journal      = {IEEE Transactions on Magnetism},
 volume       = {MAG-23},
 number       = {2},
 pages        = {759},
 doi          = {10.1109/TMAG.1987.1064951},
)
@article(bunyk:2001,
 author       = {{Paul Bunyk, Konstantin Likharev, and Dmitry Zinoviev}},
 year         = {2001},
 title        = {{RSFQ Technology: Physics and Devices}},
 journal      = {{International Journal of High Speed Electronics and Systems}},
 volume       = {11},
 number       = {1},
 doi          = {10.1142/S012915640100085X},
)
@misc(SBCL,
 title        = {{SBCL: Steel Bank Common Lisp}},
 url          = {http://http://www.sbcl.org},
)
@manual(PSCAN2,
 author       = {Pavel Shevchenko},
 year         = {2018},
 title        = {{PSCAN2 Superconductor Circuit Simulator}},
)
@misc(GNU-Electric,
 author       = {{Steven M. Rubin}},
 title        = {{SPICE -- Simulation Program with Integrated Circuit Emphasis}},
 url          = {https://www.staticfreesoft.com},
)
@article(Micro-Verification,
 author       = {{Warren A. Hunt, Jr.}},
 year         = {2004},
 title        = {{Mechanical Mathematical Methods for Microprocessor Verification}},
 journal      = {{Computer-Aided Verification Conference, Lecture Notes in Computer Science}},
 doi          = {10.1007/978-3-540-27813-9\_51},
)
@article(Royal_Society_2017,
 author       = {{Warren A. {Hunt, Jr.} and Matt Kaufmann and J Strother Moore and Anna Slobodova}},
 year         = {2017},
 title        = {{I}ndustrial {H}ardware and {S}oftware {V}erification with {ACL2}},
 journal      = {Philosophical Transactions A of the Royal Society},
 volume       = {374},
 doi          = {10.1098/rsta.2015.0399},
)
@manual(WRspice,
 author       = {Stephen R. Whitely},
 year         = {2021},
 title        = {{WR{\em spice} Reference Manual}},
)
@misc(SPICE,
 author       = {Wikipedia},
 year         = {2022},
 title        = {{SPICE -- Simulation Program with Integrated Circuit Emphasis}},
 url          = {https://en.wikipedia.org/wiki/SPICE},
)