Searching protocol for "coalgebra"
Observation-based bisimulation via coalgebra.
Master FRP for reactive systems.