@INPROCEEDINGS{La99,
        AUTHOR             = {R. Langerak},
        BOOKTITLE          = {Proceedings of the 6th International Workshop on Expressiveness in Concurrency},
        EDITOR             = {I. Castellani and B. Victor},
        KEY                = {La99},
        PAGES              = {17},
        PUBLISHER          = {Elsevier},
        SERIES             = {Electronic Notes in Theoretical Computer Science},
        TITLE              = {Deriving a Graph Rewriting System from a
Complete Finite Prefix of an Unfolding},
        VOLUME             = {27},
        YEAR               = {1999}
}