Deletion of He Jifeng

Comment: Jifeng's best-cited work is with a more famous author, Hoare, but even if we remove Hoare's contributions from the citation record we see citation counts of 128, 94, 88, etc., good enough to convince me of a pass of #C1. And the Chinese Academy of Science membership is almost certainly good enough for #3. As for the book, the existence of http://scholar.google.com/scholar?q=intitle%3A%22Unifying+theories+of+programming%22&btnG=&hl=en&as_sdt=0%2C5 multiple academic publications whose title follows this one (many of which look like nontrivial reliable sources) seems like strong evidence to me that it's notable
Stance: keep
Cited policy: Wikipedia:Notability (WP:PROF)