A unique example of formal typological classification is A Pattern Language developed by Christopher Alexander. While Alexander does not focus on classifying complete buildings by type, he instead breaks down buildings into their components and then classifies those components by their essential qualities, which he calls "patterns." [More explanation needed.]
