Abstract_State_Machines — Mediated Wiki