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

Constable, R. L., & Silva, A. (Eds.). (2012). On the final coalgebra of automatic sequences. In R. L. Constable & A. Silva (Eds.), Essays dedicated to Dexter Kozen on the occasion of his 60th Birthday.. Springer.