Bruce Lawrence Horn
Carnegie Mellon Univ., Pittsburgh, PA
Modeling Engineering Structures with Constrained Objects
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages