Author: Eng.) IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design (1979 Oxford