Behavioural Equivalences for Coalgebras (2003)

by J Rothe