Text this: Abstract State Machines 2003: Advances in Theory and Practice