publication venue for Pipelines: Modelling a software architecture through relations. 40:37-79. 2003 On counting and approximation. 26:363-379. 1989