Judith Anne Liebman (1936-2000)