Reasoning about Codata - Hinze, R (2010)