Formální popis interaktivních dialogových systémů - Tupý, Jaroslav (1982)