Ansys Employee

You should find references within the documentation, these can should lead to papers which are where the models originally were derived.  There are also the transition models in Fluent, so read up on those too. 

Staff can't comment beyond what's in the documentation, so we're a bit limited in this case.