Formal models and practical tools for information systems design - Schneider, Hans-Jochen (Ed.) (Amsterdam: North-Holland Publishing Company, 1979)
Keywords: Proceedings