Special:ProtectPage/Abstract State Machine Language Source: en.wikipedia.org/wiki/Special:ProtectPage/Abstract_State_Machine_Language