publisher={North-Holland}