Books by IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems (1985 Sitges, Spain) on BookTides.