A coalgebraic equational approach to specifying observational structures