"Derivation of efficient FSM from loop nests."

Tomofumi Yuki, Antoine Morvan, Steven Derrien (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics