Searching for links to ConstructingTheIntegers:
ConstructingTheRationals