@incollection(boyer02,
 author       = "Robert Boyer and J Strother Moore",
 year         = "2002",
 title        = "Single-Threaded Objects in {ACL}2",
 editor       = "Shriram Krishnamurthi and C. Ramakrishnan",
 booktitle    = "Practical Aspects of Declarative Languages",
 series       = "Lecture Notes in Computer Science",
 volume       = "2257",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "9--27",
 doi          = "10.1007/3-540-45587-6\_3",
)
@article(duato95,
 author       = "J. Duato",
 year         = "1995",
 title        = "A necessary and sufficient condition for deadlock-free adaptive routing in wormhole networks",
 journal      = "IEEE Transactions on Parallel and Distributed Systems",
 volume       = "6",
 number       = "10",
 pages        = "1055--1067",
 doi          = "10.1109/71.473515",
)
@article(kaufmann01,
 author       = "Matt Kaufmann and J Strother Moore",
 year         = "2001",
 title        = "Structured Theory Development for a Mechanized Logic",
 journal      = "Journal of Automated Reasoning",
 volume       = "26",
 pages        = "161--203",
 doi          = "10.1023/A:1026517200045",
)
@inproceedings(taktak10,
 author       = "Sami Taktak and Emmanuelle Encrenaz and Jean-Lou Desbarbieux",
 year         = "2010",
 title        = "A polynomial Algorithm to Prove Deadlock-freeness of Wormhole Networks",
 booktitle    = "18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP'10)",
 doi          = "10.1109/PDP.2010.19",
)
@inproceedings(verbeekschmaltz:nocs11,
 author       = "Freek Verbeek and Julien Schmaltz",
 year         = "2011",
 title        = "Automatic verification for deadlock in {N}etworks-on-{C}hips with adaptive routing and wormhole switching",
 booktitle    = "Proceedings of {N}etworks-on-{C}hip {S}ymposium (NOCS '11)",
)
@article(TPDScomment,
 author       = "Freek Verbeek and Julien Schmaltz",
 year         = "2011",
 title        = "A Comment on``{A} {N}ecessary and {S}ufficient {C}ondition for {D}eadlock-{F}ree {A}daptive {R}outing in {W}ormhole {N}etworks''",
 journal      = "IEEE Transactions on Parallel and Distributed Systems",
 volume       = "22",
 number       = "10",
 pages        = "1775 --1776",
 doi          = "10.1109/TPDS.2011.16",
)
@article(verbeekschmaltz:tpds10,
 author       = "Freek Verbeek and Julien Schmaltz",
 year         = "2011",
 title        = "On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks",
 journal      = "IEEE Transactions on Parallel and Distributed Systems",
 volume       = "99",
 number       = "PrePrints",
)