@article{TD06,
  title = {Multiple Representations of Biological Processes},
  author = {Carolyn Talcott and David L. Dill},
  journal = {Transactions on Computational Systems Biology},
  editor = {Gordon Plotkin},
  pages = "221--245",
  year = {2006},
  publisher = {Springer},
}