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. Formal methods [FM]. CWI.