This page would look a lot spiffier if you downloaded a standards compliant web browser.

Functional and Formal Reasoning in Architectural Sketches
    American Assocation for Artificial Intelligence AAAI Spring Symposium SSS02, pp 37-44 2002