Bill Mitchell Lazy buffer semantics for partial order scenarios. 419-441 2007 14 Autom. Softw. Eng. 4 http://dx.doi.org/10.1007/s10515-007-0017-1 db/journals/ase/ase14.html#Mitchell07