Mark Aagaard Miriam Leeser Reasoning About Pipelines with Structural Hazards. 13-32 1994 conf/tpcd/1994 TPCD db/conf/tpcd/tpcd1994.html#AagaardL94