Luca Aceto;Wan Fokkink
-;-
Register-machine based processes
Journal of the ACM (JACM)
A note on an expressiveness hierarchy for multi-exit iteration
Information Processing Letters