Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems (1999)

by From
Venue:CMCS’99, B.Jacobs and J.Rutten eds., ENTCS 19