Zhang, R., & Smith, S. (2024). Software Artifact for A Pure Demand Operational Semantics With Applications to Program Analysis (Version 1.0.0) [Computer software]. https://doi.org/10.5281/zenodo.10794350