Knowledge Structures for Communications in Human-Computer Systems: General Automata-Based - Koenig (IEEE, 2007)