BibTex format
@inbook{Sergot:2014:10.1007/978-3-319-01754-9_11,
author = {Sergot, M},
doi = {10.1007/978-3-319-01754-9_11},
editor = {Muller},
pages = {223--256},
publisher = {SPRINGER INT PUBLISHING AG},
title = {Some Examples Formulated in a 'Seeing to It That' Logic: Illustrations, Observations, Problems},
url = {http://dx.doi.org/10.1007/978-3-319-01754-9_11},
year = {2014}
}