Stav dette: 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 / edited by A. Sernadas, J. Bubenko, Jr., and A. Olivé.