Claire Hanen: Optimizing horizontal microprograms for vectorial loops with timed petri nets. ICS 1988: 466-477