Haim Gaifman Vaughan R. Pratt Partial Order Models of Concurrency and the Computation of Functions 72-85 conf/lics/LICS2 1987 LICS db/conf/lics/lics87.html#GaifmanP87