@Inproceedings{EPTCS77.8, author = {Uustalu, Tarmo}, year = {2012}, title = {Structured general corecursion and coinductive graphs [extended abstract]}, editor = {Miller, Dale and \'Esik, Zolt\'an}, booktitle = {{\rm Proceedings 8th Workshop on} Fixed Points in Computer Science, {\rm Tallinn, Estonia, 24th March 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {77}, publisher = {Open Publishing Association}, pages = {55-61}, doi = {10.4204/EPTCS.77.8}, }