Informasi yang berkaitan dengan vi/Abstract state machines