Abstract State Machines 2003. Advances in Theory and Practice | lit.salon