@inproceedings{PavlovicD:ASE01,
  title = "Composition and refinement of behavioral specifications",
  author = "Dusko Pavlovic and Douglas R. Smith",
  year = "2001",
  booktitle = "Automated Software Engineering 2001. The Sixteenth International Conference on Automated Software Engineering",
  publisher = "IEEE",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CRBS.ps",
}