BibTex format
@inproceedings{Lanese:2021:10.1007/978-3-030-79837-6_8,
author = {Lanese, I and Phillips, I},
doi = {10.1007/978-3-030-79837-6_8},
pages = {126--143},
publisher = {Springer Verlag},
title = {Forward-reverse observational equivalences in CCSK},
url = {http://dx.doi.org/10.1007/978-3-030-79837-6_8},
year = {2021}
}