V. Natarajan Rance Cleaveland An Algebraic Theory of Process Efficiency. 63-72 1996 LICS db/conf/lics/lics96.html#NatarajanC96