@InProceedings{infinity2003,
  author =	 "M. K{\v{r}}et\'{\i}nsk\'{y} and V. {\v{R}}eh\'{a}k and J. Strej\v{c}ek",
  title =	 "{On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit}",
  booktitle =    "Preliminary Proceedings of the 5th International Workshop
                  on Verification of Infinite-State Systems, INFINITY'2003", 
  editor =	 "Philippe Schnoebelen",
  year =	 "2003",
  pages = 	 "73--85",
  publisher =	 "Les Universit\'{e}s \`{a} Marseille"
}