Add links

John Cocke may refer to:

See also