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