The liberty structural specification language: a high-level modeling language for component reuse.

Manish Vachharajani, Neil Vachharajani, David I. August

Browse the full PLDI paper archive.