You are about to access our book library "Ebook Formal models and practical tools for information systems design: Proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools ... Design, Oxford, U.K., April 17-20, 1979 full version"
.