TY  - JOUR
T1  - A Superposition Operator for the Refinement of Algebraic Models
JO  - Electronic Notes in Theoretical Computer Science
VL  - 40
IS  - 
SP  - 269
EP  - 287
PY  - 2001/3
T2  - MFCSIT2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology
AU  - Pahl, Claus
SN  - 1571-0661
M3  - doi: DOI: 10.1016/S1571-0661(05)80055-6
UR  - http://www.sciencedirect.com/science/article/B75H1-4G7MXPK-Y/2/7da4204b8c4057baf686a18c58ec0a4b
ER  -