The abbreviation appeared in print for the first time in Kelley's 1975 book "General Topology" and was apparently invented by the mathematician [Paul Halmos]?.