Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. - Latella, Diego; Massink, Mieke; Vink, Erik P. de (Log. Methods Comput. Sci., 2015)