Modeling and simulating data flow computations at machine language level. - Stone H. Yu; Tadao Murata (SIGMETRICS, 1979)