Books by IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design (1979 Oxford, England) on BookTides.