https://9lib.org/document/y6e4pkpo-properties-coalgebras-rôle-computer-science.html