CWI
Formal methods [FM]
Computer Security

Ballester-Bolinches, A., Cosme-Llopez, E., Esteban-Romero, R.& Rutten, J. (2015). Formations of monoids, congruences, and formal languages. In Formal methods [FM] (1504). CWI.