@misc(bromberg,
 author       = {Irv Bromberg},
 title        = {Moon and the Molad of the {H}ebrew Calendar},
)
@unpublished(ac,
 author       = {Mentor Graphics Corp.},
 title        = {Algorithmic {C} Datatypes},
)
@book(dershowitz,
 author       = {Nachum Dershowitz and Edward M. Reingold},
 year         = {1997},
 title        = {Calendrical Calculations},
 publisher    = {Cambridge University Press},
)
@misc(landau,
 author       = {Remy Landau},
 title        = {Hebrew~Calendar~Science~and~Myths},
)
@book(rambam,
 author       = {Moses Maimoniodes},
 year         = {1956},
 title        = {Mishneh Torah, Book 3, Treatise 8: Sanctification of the New Month},
 publisher    = {Yale University Press},
 note         = {Translated from Hebrew by Solomon Gandz, with introduction by Julian Obermann},
)
@inproceedings(workshop,
 author       = {David M. Russinoff},
 year         = {2020},
 title        = {Formal Verification of Arithmetic {RTL}: Translating {Verilog} to {C++} to {ACL2}},
 booktitle    = {ACL2 2020: 24th International Workshop on the ACL2 Theorem Prover and its Applications},
 address      = {held online},
 doi          = {10.4204/EPTCS.152.12},
 url          = {http://acl2-2020.info/papers/formal-verification-of-arithmetic-rtl.pdf},
)
@book(el,
 author       = {David M. Russinoff},
 year         = {2022},
 title        = {Formal Verification of Floating-Point Hardware Design: A Mathematical Approach},
 edition      = {2nd},
 publisher    = {Springer},
 doi          = {10.1007/978-3-030-87181-9},
)
@book(stern,
 author       = {Sacha Stern},
 year         = {2001},
 title        = {Calendar and Community},
 publisher    = {Oxford University Press},
 doi          = {10.1093/0198270348.001.0001},
)