edings{DBLP:conf/icalp/FokkinkL00,
  author    = {Wan Fokkink and
               Bas Luttik},
  title     = {An $\omega$-complete equational specification of
interleaving.},
  booktitle = {Proceedings of {ICALP} 2000},
  year      = {2000},
  pages     = {729-743},
  crossref  = {ICALP00}
}

@proceedings{ICALP00,
  editor    = {Ugo Montanari and
               Jos{\'e} D. P. Rolim and
               Emo Welzl},
  title     = {Automata, Languages and Programming, 27th International
               Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15,
               2000, Proceedings},
  booktitle = {Proceedings of {ICALP} 2000},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1853},
  year      = {2000}
}