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