Gerald Jay Sussman, Julie Sussman Harold Abelson