Reference:

Paolo Baldan, Andrea Corradini, Barbara König, and Stefan Schwoon. McMillan's complete prefix for contextual nets. In Eric Fabre and Victor Khomenko, editors, Proceedings of UFO 2007, pages 32–49, Siedlce, Poland, June 2007.

Suggested BibTeX entry:

@inproceedings{BCKS07,
    address = {Siedlce, Poland},
    author = {Paolo Baldan and Andrea Corradini and Barbara K\"onig and Stefan Schwoon},
    booktitle = {Proceedings of UFO 2007},
    editor = {Eric Fabre and Victor Khomenko},
    month = {June},
    pages = {32--49},
    title = {{McMillan's} complete prefix for contextual nets},
    year = {2007}
}