Ulrich Hensel, Bart Jacobs. Coalgebraic Theories of Sequences in PVS. Journal of Logic and Computation, 9(4):463-500, 1999. [doi]
@article{HenselJ99,
title = {Coalgebraic Theories of Sequences in PVS},
author = {Ulrich Hensel and Bart Jacobs},
year = {1999},
url = {http://www3.oup.co.uk/logcom/hdb/Volume_09/Issue_04/090463.sgm.abs.html},
researchr = {https://researchr.org/publication/HenselJ99},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {9},
number = {4},
pages = {463-500},
}