Observation and Abstract Behaviour in Specification and Implementation of State-based Systems