Title: Abstract state machines
Subjects: Machine theory, Congresses