Previous ed.: Amsterdam ; London : North-Holland Publishing Co.,