A Type Theory for Software Architectures (1998)

by N Medvidovic, D S Rosenblum, R N Taylor