TY - BOOK AU - Schneider, Hans-Jochen (Ed.) TI - Formal models and practical tools for information systems design SN - 0-444-85394-4 PY - 1979/// CY - Amsterdam: PB - North-Holland Publishing Company, KW - Proceedings ER -