Norman Dorsen

Nothing of theirs is available here yet.