Automatic equivalence proofs for non-deterministic coalgebras (2013)

by M Bonsangue, G Caltais, E-I Goriac, D Lucanu, J Rutten, A Silva
Venue:In Science of Computer Programming