Authors: Andrew Kay Peter Lupton

Citation: Andrew Kay et Peter Lupton, Short communication sequential to parallel buffer refinement, Formal aspects of computing The international journal of formal methods , 4(5), 1992, pp. 487-492