Functions with local state: regularity and undecidability (2005)

by Andrzej S Murawski
Venue:TCS