Ramadhan Jatmiko, M. A.; Utami, A. W. Information System Design for Local Tax Revenue Planning in Surabaya City. J. Educ. Technol. Inf. Syst. 2025, 3.