IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing (1985 Vienna, Austria)