Coalition formation (North-Holland, 1985)