TY  - RPRT
TI  - A Few Considerations on Structural and Logical Composition in Specification Theories
AU  - Axel Legay
AU  - Andrzej Wąsowski
PY  - 2011
DO  - 10.4204/eptcs.46.4
UR  - https://arxiv.org/abs/1101.4734
ID  - 1101.4734
ER  -