. . . . . "10.1016/0028-2243(93)90048-H" .