Intrinsically Correct Algorithms and Recursive Coalgebras Alexandru, G.C.; Urbat, H.; Wißmann, T.