Distributed Data Sharing Systems, Proceedings of the Second International Seminar on Distributed Data Sharing Systems, DDSS 1981, Amsterdam, The Netherlands, 3-5 June, 1981