Text this: Records of the District of Columbia Commissioners and of the offices concerned with public buildings, 1791-1867.