一种将设计模式用于程序精化演算的并行程序设计方法研究

• Study of a Parallel Programming Method of Using Design Patterns in Program Refinement Calculus