@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} }