# Bib file

@inproceedings{smtkh2001},
  author = {L. Schr{\"o}der and T. Mossakowski and A. Tarlecki and 
            B. Klin and P. Hoffman},
  title = {Semantics of Architectural Specifications in CASL},
  booktitle = {Proc. FASE 2001},
  editor = {H. Hussmann},
  series = {LNCS},
  volume = {2029},
  year = {2001}
}