@inproceedings {Ditype,
    author = "P. Gaucher",
    title = "Investigating The Algebraic Structure of Dihomotopy Types",
    booktitle = "Electronic Notes in Theoretical Computer Science",
    volume = "52",
    issue = "2",
    publisher = "Elsevier Science Publishers",
    OPTeditor = "Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Rau{\ss}en and Vladimiro Sassone",
    year = "2002",
    PAGES = {25pp},
  DMI-TIME = {ant},
  X-LABINTEL={COM},
  DMI-CATEGORY={intc}
}