preprint (not CWI, to be used with submitted papers)
Computer Security

Rot, J., Bonsangue, M., & Rutten, J. (2015). Proving language inclusion and equivalence by coinduction. preprint (not CWI, to be used with submitted papers).