The Liberty structural specification language: A high-level modeling language for component reuse (2004)

by M Vachharajani, N Vachharajani, D I August
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI