Artificial intelligense (North-Holland, 1970)