Searching for links to ConstructingTheRationals:
ConstructingTheIntegers