@article{Pahl2001269,
title = "A Superposition Operator for the Refinement of Algebraic Models",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "40",
number = "",
pages = "269 - 287",
year = "2001",
note = "MFCSIT2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology",
issn = "1571-0661",
doi = "DOI: 10.1016/S1571-0661(05)80055-6",
url = "http://www.sciencedirect.com/science/article/B75H1-4G7MXPK-Y/2/7da4204b8c4057baf686a18c58ec0a4b",
author = "Claus Pahl"
}