Report SEN-R0043, CWI, 2000. Available at URL http://www.cwi.nl. Extended abstract (2001)

by F Bartels, Generalisedcoinduction
Venue:in Electronic Notes in Theoretical Computer Science