Coalgebraic theories of sequences in PVS (1999)

by Ulrich Hensel, Bart Jacobs
Venue:Journal of Logic and Computation