computer programs for programming finite state machines in a visual object environment and instruction manuals associated therewith