@Inproceedings{EPTCS46.4, author = {Legay, Axel and W\k{a}sowski, Andrzej}, year = {2011}, title = {A Few Considerations on Structural and Logical Composition in Specification Theories}, editor = {Legay, Axel and Caillaud, Beno\^it}, booktitle = {{\rm Proceedings} Foundations for Interface Technologies, {\rm Paris, France, 30th August 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {46}, publisher = {Open Publishing Association}, pages = {49-54}, doi = {10.4204/EPTCS.46.4}, }