Abstract State Machine Language