Information systems : theoretical and formal aspects / by IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information System (1985 : Sitges, Spain), Sernadas, A., Bubenko, Janis, Olive, A.