MC-25 informatica symposium - Bakker, J. W. de, 1939-2012 (Mathematical Centre Tracts ;, 1971)