Abstract State Machines | lit.salon