Hirst, O. C. (2025). GödelOS Reference Implementation v0: Formal Operational Semantics and Executable System Specification. Zenodo.
Chicago Style (17th ed.) CitationHirst, Oliver C. GödelOS Reference Implementation V0: Formal Operational Semantics and Executable System Specification. Zenodo, 2025.
MLA (9th ed.) CitationHirst, Oliver C. GödelOS Reference Implementation V0: Formal Operational Semantics and Executable System Specification. Zenodo, 2025.
Warning: These citations may not always be 100% accurate.