References

1. Irv Bromberg: Moon and the Molad of the Hebrew Calendar.
2. Mentor Graphics Corp.: Algorithmic C Datatypes.
3. Nachum Dershowitz & Edward M. Reingold (1997): Calendrical Calculations. Cambridge University Press.
4. Remy Landau: Hebrew Calendar Science and Myths.
5. Moses Maimoniodes (1956): Mishneh Torah, Book 3, Treatise 8: Sanctification of the New Month. Yale University Press. Translated from Hebrew by Solomon Gandz, with introduction by Julian Obermann.
6. David M. Russinoff (2020): Formal Verification of Arithmetic RTL: Translating Verilog to C++ to ACL2. In: ACL2 2020: 24th International Workshop on the ACL2 Theorem Prover and its Applications, held online, doi:10.4204/EPTCS.152.12. Available at http://acl2-2020.info/papers/formal-verification-of-arithmetic-rtl.pdf.
7. David M. Russinoff (2022): Formal Verification of Floating-Point Hardware Design: A Mathematical Approach, 2nd edition. Springer, doi:10.1007/978-3-030-87181-9.
8. Sacha Stern (2001): Calendar and Community. Oxford University Press, doi:10.1093/0198270348.001.0001.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org