Software (theme 1)
preprint (not CWI, to be used with submitted papers)
Extended version of 'Coinductive proof techniques for language equivalence', LATA 2013
Computer Security

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