Noa Globerman;David Harel
-;-
On the power of bounded concurrency I: finite automata
Journal of the ACM (JACM)