@techreport{1997-Hensel-SequencesTheories, author = "{Hensel}, Ulrich and {Jacobs}, B.P.F.", title = "{Coalgebraic Theories of Sequences in PVS}", number = "CSI--R9708", month = "June", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "1997", code = "icis.CSI-R9708", research_group = "icis", class = "Report" }