Specifying Buildings