ABC is basically to suggest a standardized social system. A part of that standard is a government or public services.
For example, there are tens of county offices(읍면동 사무소), two city halls(시청) and one provincial government(도청) are providing public services in Jejudo, Korea. If we build a new city in Jejudo which is supposed to encompass citizens from across the world, 193 nations, how to provide them with public services? Can those public facilities provide the same services as those for Korean citizens?
ABC cityhall is an online government for multi-national citizens arriving at the ABC Pilot City from all over the world.
Scrutinize what kinds of works are currently done at all public offices in Jejudo, and draw a diagram or flowchart of those works.
Eliminate duplicate processes and integrate the rest as much as possible.
Code them, and localize the resulting software.
ABC cityhall is to code an unmanned government, a large project which needs tens of developers and system architects.