Ordered Groups and Infinite Permutation Groups by W. Charles Holland