MARTIN A RABIN