Reference for fundamental theorem on tree rotations
An early paper that made this observation explicitly -- that rotations preserve inorder traversals -- is (in Figure 2 of) Sleator and Tarjan's 1983 Self-adjusting binary search trees.  The move-to-root heuristic was studied in Allen and Munro's 1978 Self-Organizing Binary Search Trees paper.