Treatment of cerebral edema (Springer, 1982)