Basic Ideas for Transformations of Specification Architectures - Julia Padberg (Electronic notes in theoretical computer science : ENTCS, 2003)