In the book "Topos Theory" of Peter Johnstone (Topos Theory, LMS Monographs no. 10. Academic, 1977) can read at 0page 41 in Chapter 2:
"For a detaled account of internal categories from a 2-Categorical point of view, the reader is Referred to the monumental work of JW Gray "
The work of J.W. Gray has to be very important and significant (in those years was one of the great masters of the theory of categories) as well known and whose output is only the first part in Formal Category Theory: Adjointness for 2-Categories. Series: Lecture Notes in Mathematics, Vol 391.
Does anyone have news of such notes of J.W. Gray? Of course I would like read these.