<style face="normal" font="default" size="100%">Automatic equivalence proofs for non-deterministic coalgebras (revised and extended)</style>

Drupal-Biblio