Author: IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems (1985 Sitges, Spain)