Defining Equations in Terminal Coalgebras

@inproceedings{Hensel1994DefiningEI,
  title={Defining Equations in Terminal Coalgebras},
  author={Ulrich Hensel and Horst Reichel},
  booktitle={COMPASS/ADT},
  year={1994}
}