Reasoning about Attribute Architectures.

Tacksoo Im, John D. McGregor

Browse the full SEKE paper archive.