@inbook{Shankland_2004,
title={Expressing Iterative Properties Logically in a Symbolic Setting},
ISBN={9783540278153},
ISSN={1611-3349},
url={http://dx.doi.org/10.1007/978-3-540-27815-3_35},
DOI={10.1007/978-3-540-27815-3_35},
booktitle={Algebraic Methodology and Software Technology},
publisher={Springer Berlin Heidelberg},
author={Shankland,
Carron and Bryans,
Jeremy and Morel,
Lionel},
year={2004},
pages={460–474} }