TY - BOOK AU - Sernadas, A AU - Bunbeko, J TI - Information systems: theoretical and formal aspects PY - 1983/// CY - Amsterdam PB - Elsevier KW - Electrical engineering KW - Computer science N1 - Proceedings of the IFIP WG8.1 working conference on theoretical and formal aspects of information system ER -