@incollection{van_Glabbeek_1990,
    doi = {10.1007/bfb0039066},
    url = {https://doi.org/10.1007%2Fbfb0039066},
    year = {1990},
    publisher = {Springer Berlin Heidelberg},
    pages = {278--297},
    author = {R. J. van Glabbeek},
    title = {The linear time - branching time spectrum},
    booktitle = {{CONCUR} {\textquotesingle}90 Theories of Concurrency: Unification and Extension}
}

@incollection{van_Glabbeek_1990, doi = {10.1007/bfb0039066}, url = {https://doi.org/10.1007%2Fbfb0039066}, year = {1990}, publisher = {Springer Berlin Heidelberg}, pages = {278--297}, author = {R. J. van Glabbeek}, title = {The linear time - branching time spectrum}, booktitle = {{CONCUR} {\textquotesingle}90 Theories of Concurrency: Unification and Extension} }