Andrew Kay Peter Lupton Sequential to Parallel Buffer Refinement (Short Communication). 487-492 1992 4 Formal Asp. Comput. 5 db/journals/fac/fac4.html#KayL92