Optimizing horizontal microprograms for vectorial loops with timed petri nets. - Hanen, Claire (1988)