@article{lmcs2015,
  author  = {D. Latella and M. Massink and Vink, E.P. de },
  title   = {Bisimulation of Labelled State-to-Function Transition Systems
             Coalgebraically},
  journal = {Logical Methods in Computer Science},
  volume  = {11},
  number  = {4},
  year    = {2015},
  doi     = {10.2168/LMCS--11(4:16)2015},
  note    = {Paper~16, 40 pages.}
}