@Unpublished{     BrudaWaez,
  Author        = "Bruda, Stefan D. and Waez, Tawhid Bin",
  date-added    = "2012-07-07 09:52:48 +0200",
  date-modified = "2012-07-07 09:54:06 +0200",
  Keywords      = "communicating automata and visibly pushdown automata",
  Title         = "Communicating Visibly Pushdown Processes",
  File          = "Communicating Visibly Pushdown Processes - Bruda, Waez (0) (0) - a - a - o.pdf"
}

@Unpublished{ BrudaWaez, Author = "Bruda, Stefan D. and Waez, Tawhid Bin", date-added = "2012-07-07 09:52:48 +0200", date-modified = "2012-07-07 09:54:06 +0200", Keywords = "communicating automata and visibly pushdown automata", Title = "Communicating Visibly Pushdown Processes", File = "Communicating Visibly Pushdown Processes - Bruda, Waez (0) (0) - a - a - o.pdf" }