Kupka, Ingbert; Wilsing, Norbert Functions describing interactive programming. (English) Zbl 0269.68013 Internat. Comput. Sympos. 1973, Proc., Davos, 41-45 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 68N01 General topics in the theory of software 68Q45 Formal languages and automata PDFBibTeX XML