"Eugene Birman" . "1987"^^ . . . "Eugene Birman" . . . .