L. S. Datla and R. K. Thodupunuri, “Applying Formal Software Engineering Methods to Improve Java-Based Web Application Quality”, IJAIDSML, vol. 2, no. 4, pp. 18–26, Dec. 2021, doi: 10.63282/3050-9262.IJAIDSML-V2I4P103.