Tamás Gergely László Úry A Theory of Interactive Programming. 1-20 1982 17 Acta Inf. db/journals/acta/acta17.html#GergelyU82