Title: Abstract state machines for the classroom
First published: 2006
LC classification: MLCM 2008/42812 (Q)