Defining equations in terminal coalgebras (1995)

by Ulrich Hensel, Horst Reichel
Venue:Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science