publication venue for On the use of transition diagrams in the design of a user interface for an interactive computer system 1969