@inproceedings{Penix99a,
  title = {Deductive Synthesis of Event-Based Software Architectures},
  author = {John Penix},
  year = {1999},
  url = {http://computer.org/proceedings/ase/0415/04150311abs.htm},
  tags = {rule-based, software architecture, architecture},
  researchr = {https://researchr.org/publication/Penix99a},
  cites = {0},
  citedby = {0},
  pages = {311-314},
  booktitle = {ASE},
}