Reference:

Paolo Baldan, Andrea Corradini, Barbara König, and Stefan Schwoon. McMillan's complete prefix for contextual nets. Transactions on Petri Nets and Other Models of Concurrency, 1:199–220, November 2008. Volume 5100 of Lecture Notes in Computer Science.

Suggested BibTeX entry:

@article{BCKS08,
    author = {Paolo Baldan and Andrea Corradini and Barbara K\"onig and Stefan Schwoon},
    journal = {Transactions on Petri Nets and Other Models of Concurrency},
    month = {November},
    note = {Volume 5100 of Lecture Notes in Computer Science},
    pages = {199--220},
    title = {{McMillan's} complete prefix for contextual nets},
    volume = {1},
    year = {2008}
}