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