Sequential to Parallel Buffer Refinement (Short Communication). - Andrew Kay; Peter Lupton (Formal Aspects Comput., 1992)