Information systems theoretical and formal aspects, proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 april, 1985
IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems (1985 Sitges) A Sernadas 1952-; J Bubenko Jr.; AOlivé 1946-; IFIP