MATHEMATICAL CENTRE TRACTS 63 J.W. DE BAKKER (ed.) FOUNDATIONS OF COMPUTER SCIENCE SECOND PRINTING MATHEMATISCH CENTRUM AMSTERDAM 1975