Is there any references on the tensor product of (locally) presentable categories ?


All I know about this is Lurie's book that deals with the $\infty$-categorical version, and a few references that deals with special cases (Grothendieck abelian categories, toposes etc...)


Is there any references that defines it properly and proves the basic properties ?



Is there any references on the tensor product of presentable (1-)categories?
The canonical reference is Chapter 5 of [Greg Bird's thesis](http://maths.mq.edu.au/~street/BirdPhD.pdf).


