A semantics for functions and behaviours. - Anthony Charles Daniels (1999)