Coalgebraic theories of sequences in PVS (1999)

by U Hensel, B Jacobs
Venue:Journ. of Logic and Computation