Springer
R.L. Constable , A.M. Silva (Alexandra)
Computer Security

Bonchi, F., Bonsangue, M., Rutten, J., & Silva, A. (2012). Brzozowski's algorithm (co)algebraically. In R. L. Constable & A. Silva (Eds.), Essays dedicated to Dexter Kozen on the occasion of his 60th Birthday.. Springer.