A coalgebraic equational approach to specifying observational structures
scientific article; zbMATH DE number 1768002