@inproceedings{lucanu-rosu-2009-icfem,
title={Circular Coinduction with Special Contexts},
author={Dorel Lucanu and Grigore Ro\c{s}u},
booktitle={Proceedings of the 11th International Conference on Formal Engineering Methods (ICFEM'09)},
year={2009},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages={639--659}
}