Patrick Stephen Johnson (1930-2011)