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