North-Holland
Science of Computer Programming
Computer Security

Bonsangue, M., Caltais, G., Goriac, E., Lucanu, D., Rutten, J., & Silva, A. (2013). Automatic equivalence proofs for non-deterministic coalgebras. Science of Computer Programming, 2013, 1324–1345.