IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design (1979 Oxford, England)