Spiking neural nets with symbolic internal state. - Carl O'Dwyer; Daniel Richardson (Inf. Process. Lett., 2005)