@incollection{Cleaveland_1991,
    doi = {10.1007/3-540-54233-7_129},
    url = {https://doi.org/10.1007%2F3-540-54233-7_129},
    year = {1991},
    publisher = {Springer Berlin Heidelberg},
    pages = {127--138},
    author = {Rance Cleaveland and Bernhard Steffen},
    title = {Computing behavioural relations, logically},
    booktitle = {Automata, Languages and Programming}
}

@incollection{Cleaveland_1991, doi = {10.1007/3-540-54233-7_129}, url = {https://doi.org/10.1007%2F3-540-54233-7_129}, year = {1991}, publisher = {Springer Berlin Heidelberg}, pages = {127--138}, author = {Rance Cleaveland and Bernhard Steffen}, title = {Computing behavioural relations, logically}, booktitle = {Automata, Languages and Programming} }