First published by John Kingman in his 1961 paper The single server queue in heavy traffic.
Kingman's formula