Title: Abstract state machines 2004
Subjects: Machine theory, Congresses