[ dmg . publications . Functional and Formal Reasoning in Architectural Sketches ] edit