A coalgebraic semantic framework for reasoning about interaction designs - Barbosa, L. S. (2009)