Navin Soni, “Formalizing Infrastructure-as-Code Design Patterns for Cloud Deployment Automation”, JCSTS, vol. 7, no. 10, pp. 67–78, Sep. 2025, doi: 10.32996/jcsts.2025.7.10.7.