Formal models and practical tools for information systems design : proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Desi...

od IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Schneider, Hans-Jochen, International Federation for Information Processing
Izdano 1979.