Bisimulation and apartness in coalgebraic specification. Manuscript available from ftp.cwi.nl in /pub/bjacobs (1995)

by B Jacobs