Some useful aspects about coalgebræ and coalgebraic logic in computer science