Permian rocks of the San Juan Basin, in Baars, D.L., ed., Permianland