Object-oriented hybrid systems of coalgebras plus monoid actions
scientific article; zbMATH DE number 1493213