Algebraic models of correctness for abstract pipelines - Neal Harman (The Journal of Logic and Algebraic Programming, 2003)