Reference:

J. Esparza and G. Bruns. Trapping mutual exclusion in the box calculus. Theoretical Computer Science, 153(1):95–128, 1996.

Suggested BibTeX entry:

@article{EB96,
    author = {J. Esparza and G. Bruns},
    journal = {Theoretical Computer Science},
    number = {1},
    pages = {95--128},
    title = {Trapping Mutual Exclusion in the Box Calculus},
    volume = {153},
    year = {1996}
}