Title: Abstract State Machines 2004. Advances in Theory and Practice