##article.return## Formalization Of Theories of Design Using: First Order Logic Augmented With A Causal Calculus; And Entropy of a Design Defined In Terms Of The Function, Behavior and Structure Ontology. Download Download PDF