@InProceedings{BergerM:gratypbdda,
  author = 	 {Martin Berger},
  title = 	 {A Graph-Type Based Deadlock Detection Algorithm},
  booktitle =	 {Theory and Formal Methods 1996: Proceedings of the
Third Imperial College Workshop on Theory and Formal Methods},
  year =	 1996,
  editor =	 {Guy McCusker, Abbas Edalat and Sofia Jourdan}
}