BibTex format
@book{Probst:2016:10.1007/978-3-319-27810-0,
author = {Probst, CW and Hankin, C and Hansen, RR},
doi = {10.1007/978-3-319-27810-0},
publisher = {Springer},
title = {Semantics, logics, and calculi: Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays},
url = {http://dx.doi.org/10.1007/978-3-319-27810-0},
year = {2016}
}